document.write ('138 ');