document.write (12402);