document.write("1247 ");