document.write ('3918');