document.write (5117);