document.write("4992 ");