var flashvars = {};
var params = {
	play: "true",
	loop: "false",
	menu: "false",
	quality: "best",
	scale: "noscale",
	allowFullScreen: "false",
	salign: "tl",
  wmode: "transparent"
};
var attributes = {
	id: "nav",
	name: "nav",
	align: "top"
};
var attributes2 = {
	id: "nav2",
	name: "nav2",
	align: "top"
};
	swfobject.embedSWF("nav.swf", "leftnav", "100%", "100%", "9.0.0", "", flashvars, params, attributes);
	swfobject.embedSWF("nav2.swf", "topnav", "466", "30", "9.0.0", "", flashvars, params, attributes2);
function setFlashWidth(divid, newW){
  document.getElementById(divid).style.width = newW+"px";
}
function setFlashHeight(divid, newH){
  document.getElementById(divid).style.height = newH+"px";
}
function setFlashSize(divid, newW, newH){
  setFlashWidth(divid, newW);
  setFlashHeight(divid, newH);
}