document.write('2144\n');