document.write("     42442");