document.write ('1012');