function getElementByID(id)
{
	if (document.getElementById)
	{
		x = document.getElementById(id);
	}
	else if (document.all)
	{
		x = document.all[id];
	}
	return x;
}


function outline(id)
{
	x = getElementByID(id);
	
	x.style.border = "1px solid white";
	x.style.padding = "0px";
}


function unoutline(id)
{
	x = getElementByID(id);
	
	x.style.border = "0px solid white";
	x.style.padding = "1px";
}