document.write (9402);