function go(url)
{
	document.location.href=url;
}

var child;
function popup(url, options)
{
	child = window.open(url,'',options);
	child.focus();
}

function highlight(row)
{
	row.style.backgroundImage="URL(images/backgrounds/blue_pix.gif)";	
}

function reset(row)
{
	row.style.backgroundImage="URL(images/backgrounds/trans_pix.gif)";
}

function changeClass(obj, newClass)
{
	if (obj == null)
		return;
	obj.className = newClass;
}