function FixSP2()
{
	var g_fIsSP2 = false; // is user using IE SP2?
	g_fIsSP2 = (window.navigator.userAgent.indexOf("SV1") != -1);
	 if (g_fIsSP2)
	 {
	 	window.location.reload();
	 	// TODO switch to a new URL that indicates it was reloaded, to avoid endless loops
	 	return true;	// the error was handled
	 }
	 return false; // pass the error on
}
window.onerror=FixSP2;
