document.write ('1042');