document.write ('842  ' );