function over(ctrl)
{
	s = "/media/images/" + ctrl + "_over.jpg";
	document.getElementById(ctrl).src = s;
};

function out(ctrl)
{
	s = "/media/images/" + ctrl + ".jpg";
	document.getElementById(ctrl).src = s;
};