document.write (9232);