document.write ('707  ' );