document.write (9256);