document.write (12072);