if (isIE && button && document.getElementById(button)){ 
if (button && document.getElementById(button)){ 
function goBack(button, param) {	parent.history.back();	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