function setFlashHeight(divid, newH){
	document.getElementById(divid).style.height = newH+"px";		
}
function detectSafari() {
	var agt=navigator.userAgent.toLowerCase();
	if (agt.indexOf("safari") != -1) return true;
	if (agt.indexOf('\/') != -1) {
	if (agt.substr(0,agt.indexOf('\/')) != 'mozilla') {
	return navigator.userAgent.substr(0,agt.indexOf('\/'));}
	else return 'Netscape';} else if (agt.indexOf(' ') != -1)
	return navigator.userAgent.substr(0,agt.indexOf(' '));
	else return navigator.userAgent;
}