document.write("4192 ");