rem: var theAgent = navigator.userAgent; var x = theAgent.indexOf( "/" ); var theVersion = "unknown"; 
add: var agent = navigator.userAgent; var x = agent.indexOf( "/" ); var version = "unknown"; 
context: function getBrowserVersionNumber(){	var theAgent = navigator.userAgent;	var x = theAgent.indexOf( "/" );	var theVersion = "unknown";	if ( x >= 0 )		var theVersion = theAgent.substring( x + 1, theAgent.length );	return theVersion;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/e5e4f3533c86abcc6dfc8bda2dcd8b002a7a372d/util.js/clean/cmd/dialup/as_html/util.js