document.write (8402);