document.write (8412);