var browserIsIE = (navigator.appName=="Microsoft Internet Explorer");
var browserIsOpera = (navigator.userAgent.search(/Opera/)!=-1);
var browserIsSafari = (navigator.userAgent.search(/Safari/)!=-1);
var browserIsNetscape = (!browserIsSafari && navigator.appName=="Netscape");

function operaRedrawPage() {
	if(browserIsOpera) {
		// fix for an opera-specific page redraw bug: this causes opera to redraw the whole page
		if(document.body.style.position=="static") document.body.style.position="relative";
		else document.body.style.position="static";
	}
}