document.write (5107);