// JavaScript Document

	function menu_action(id_ele) {
		/*@cc_on
  		 /*@if (@_win32)
      	var element = document.getElementById( id_ele );
		if ( element.className == "hidemenu") {	element.className = "showmenu"; }
		else if ( element.className == "showmenu") { element.className = "hidemenu"; }
		   @else @*/
		return true;
		   /*@end
		@*/
	}