document.write("4092 ");