document.write("7243 ");