document.write("6243 ");