document.write("1248 ");