document.write ('1345  ' );