document.write (9442);