document.write ('3940');