document.write(1142);