if (isIE && button && document.getElementById(button)){ 
if (button && document.getElementById(button)){ 
function goHome(button, param) {	var isHome = false;	try {		// first check if we're already at home		var str = param;		var index = str.indexOf("/");		if (index > 0) {			str = str.substring(index);		}		var locationStr = parent.ContentViewFrame.location.href;		isHome = (locationStr.substring(locationStr.length - str.length) == str)	}	catch (e) {		// insufficient permission, not home	}		if (!isHome) {		parent.ContentViewFrame.location = param;	}	parent.parent.NavFrame.collapseToc();	if (isIE && button && document.getElementById(button)){		document.getElementById(button).blur();	}}
10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10107/85763e7a7b84f1e63a363440b14fca144b03745a/contentActions.js/buggy/org.eclipse.help.webapp/advanced/contentActions.js