document.write (9412);