document.write ('312  ' );