document.write ('142');