rem: var theVersion = theAgent.substring( x + 1, theAgent.length ); return theVersion; 
add: version = agent.substring( x + 1, agent.length ); return version; 
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: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/ab1453efd88c6259def7208d807e9daf58edc281/util.js/clean/cmd/dialup/as_html/util.js