document.write(80512);