document.write("8242 ");