document.write ('6940');