document.write('1214\n');