rem: displayText( top.menupane.document.gcli.scriptbar.value, httpObject.responseText ); 
add: if ( httpObject.responseText == null ) { parent.location.href = "http: return true; }  if ( !isRefreshing && httpObject.responseText.indexOf( "<!-- REFRESH -->" ) != -1 ) { isRefreshing = true; top.charpane.location.reload( true ); isRefreshing = false; }  
context:     httpObject.onreadystatechange = function ()    {    	if ( httpObject.readyState != 4 )    		return false;        displayText( top.menupane.document.gcli.scriptbar.value, httpObject.responseText );    }
meta: 4541	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4541/193eb7fc153faf0da71fb0511c08fcc080e8cd6b/topmenu.js/clean/src/html/topmenu.js