// JavaScript Document
function ExpandPlayer(target,size)
{
	var el = document.getElementById?document.getElementById(target):document.all(target);
	if (el)
		el.style.height=size+"px";
	if (!(typeof document.documentElement.style.maxHeight != "undefined"))
		el.getElementsByTagName("object")[0].height = size;
}

function DebugTrace(s)
{
	if (document.getElementById("DebugTraceContent"))
		document.getElementById("DebugTraceContent").innerHTML += s+"<BR/>";
}