document.write (" 42073 ");