document.write ('3943');