document.write (8172);