document.write ('134 ');