function setBackgroundColor(color)
{
	var objList = document.getElementsByTagName("body");
	var bodyObj = objList[0];
	bodyObj.style.backgroundColor = color;
}
function setFlashSize(w, h)
{
	//document.title = w + "*" + h;
	
	if (!w || w < 1200)
	{
		w = 1200;
	}
	if (!h || h < 900)
	{
		h = 900;
	}
	
	var flashObj;
	
	if (flashObj = document.getElementById("flashcontent"))
	{
		flashObj.style.width = w + "px";
		flashObj.style.height = h + "px";
	}
}