document.write (10138);