document.write("10314 ");