function tgo(ww,dest)
{
	if (ww.parent.document.frames.length > 0)
		ww.parent.document.frames[1].location=dest;
	else
		ww.location=dest;
}

function hovercard(cc)
{
	cc.style.borderColor="#6ff"; // stylesheet dependent
	cc.style.background="#cff"; // stylesheet dependent
}

function unhovercard(cc)
{
	cc.style.borderColor="black";
	cc.style.background="white";
}