document.write ('4067');