document.write ('1245');