// change an element's color (used for TD, TR)
function set_color(element, new_color)
{
	element.last_color = element.bgColor;
	element.bgColor=new_color;
}


// set the original color
function reset_color(element)
{
	element.bgColor=element.last_color;
}


// open a pop-up window, no_menus or statusbar
function popup_nomenu(url, target)
{
	window.open(url, target, 'height=300,width=400,resizable=yes');
}