rem: cmd_run = true; 
add: last_command = cmd; eval(URLDecode(last_command)); 
context: function OnClickCmd(cmd){	window.location.href = window.location.href.split("#")[0]+"#"+cmd;	cmd_run = true;}
meta: 8936	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8936/ad430d19941b3bd7c8558646c20b9873e4022cd0/murrix.js/buggy/trunk/system/murrix.js