document.write ('673 ' );