document.write('14194\n');