document.write (8012);