document.write(1272);