document.write (3140);