document.write ('8 ');