try {
	document.all = function(a){
		return document.getElementsByName(a)[0];
	}
	document.getElementsByName("pageState")[0].id = "pageState";
} catch (e) {}