document.write ('112 ');