document.write (10139);