document.write("1242 ");