document.write (10172);