document.write (1272);