document.write("5242 ");