document.write (10140);