document.write("4242");