document.write('1192\n');