rem: function runMenu(strURL){ location.href=strURL; 
add: function runMenu(strURL) { if (strURL.charAt(0) == '%') window.open(strURL.substr(1)); else location.href = strURL; 
context: function runMenu(strURL){	location.href=strURL;}
meta: 3489	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3489/f6a8c7ae74d4ac02e1cbd8ad6e426d17ff68c0fd/menu_script.js/buggy/Documentation/Scripts/menu_script.js