document.write(80112);