document.write (7412);