document.write ('672  ' );