document.write (7402);