document.write ('142 ');