mint/app/studio/plugin/system_toc/gui.html

			<div class="menu" id="menu_toc">
				<a name="_Content" ></a>
				<!--
				<h1><?php echo $module_gui_str['editor_toc']['1001']; ?></h1>
				<select name="menu" onchange="show_toc_level(this)">
					<option value="1"><?php echo $module_gui_str['editor_toc']['2001']; ?></option>
					<option value="2"><?php echo $module_gui_str['editor_toc']['2002']; ?></option>
					<option value="3"><?php echo $module_gui_str['editor_toc']['2003']; ?></option>
					<option value="4"><?php echo $module_gui_str['editor_toc']['2004']; ?></option>
					<option value="5"><?php echo $module_gui_str['editor_toc']['2005']; ?></option>
					<option value="6"><?php echo $module_gui_str['editor_toc']['2006']; ?></option>
					<option value="7"><?php echo $module_gui_str['editor_toc']['2007']; ?></option>
					<option value="8"><?php echo $module_gui_str['editor_toc']['2008']; ?></option>
				</select>
				-->
				<div class="tocitems" id="content"></div>
			</div>