rem: var t = this.currentDocument.title; if (typeof(t) == "string") { t = t.trim(); } return t; 
add: var t = this.document().title; if (typeof(t) == "string") { t = t.trim(); } return t; 
context:         this.title = function() {        	var t = this.currentDocument.title;        	if (typeof(t) == "string") {        		t = t.trim();        	}        	return t;        };
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/f68bbe7b139ef983240d5f2c30b4cfaf2febeeb0/selenium-browserbot.js/clean/code/javascript/core/scripts/selenium-browserbot.js