document.write (9230);