document.write ('667  ' );