document.write ('4043');