document.write (8034);