document.write("7242 ");