document.write(4272);