document.write("     42139");