document.write (5172);