
var cf_agt=navigator.userAgent.toLowerCase();
var is_major = parseInt(navigator.appVersion);
var is_ie     = ((cf_agt.indexOf("msie") != -1) && (cf_agt.indexOf("opera") == -1));
var is_ie6    = (is_ie && (is_major == 4) && (cf_agt.indexOf("msie 6.")!=-1) );

var str='';
str+='<style type="text\/css">';
str+='#rightWidget {';
str+='	float:left;';
str+='	display:inline;';
str+='	position: absolute;	';
str+='	margin:0px 0pt 0px 0px;';
str+='}';
str+='<\/style>';
str+='<div id="flash_wrap">';
str+='    <div id="rightWidget"></div>';
str+='</div>';
str+='<script type="text\/javascript">';
str+='function setFlashSize_right(flashFile){';
str+='	if (flashFile == \'unavailable\') {';
str+='		this.f=document.getElementById("rightWidget"); ';
str+='		this.f.style.height= "500px"; ';
str+='	} else {';
str+='		this.f=document.getElementById("rightWidget"); ';
str+='		this.f.style.height= "500px";';
str+='	}';
str+='}';
str+='function setFlashSize_right_close(){';
str+='	this.f=document.getElementById("rightWidget"); ';
str+='	this.f.style.height= "500px"; ';

if(!is_ie6){
	// Fix for IE6 that requires width not be set
	str+='	this.f.style.width= "300px"; ';
}
str+='}';
str+='<\/script>';
document.write(str);
