'<option value="6">{$lang_wiki_title_6}</option>' + 
WikiEditor.prototype.getTitleControl = function(button_name) {	return '<select id="{$editor_id}_titleSelect" name="{$editor_id}_titleSelect" class="mceSelectList" onchange="tinyMCE.execInstanceCommand(\'{$editor_id}\',\'Title\',false,this.options[this.selectedIndex].value);wikiEditor.executedCommand(\'Title\');">' +            '<option value="0">{$lang_wiki_title_menu}</option>' +            '<option value="1">{$lang_wiki_title_1}</option>' +            '<option value="2">{$lang_wiki_title_2}</option>' +            '<option value="3">{$lang_wiki_title_3}</option>' +            '<option value="4">{$lang_wiki_title_4}</option>' +            '<option value="5">{$lang_wiki_title_5}</option>' +           '</select>';}
6184	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6184/60fc390d7e78a7a93c1881050b0ce8624063604a/core.js/clean/xwiki-platform-web/standard/src/main/webapp/wiki_editor/plugins/core.js