document.write (10412);