document.write("     42171");