document.write ('1342  ' );