document.write ('4022');