document.write("4242 ");