document.write ('1279');