document.write ('1240');