document.write (8232);