document.write (5139);