//ERNIE-Link rollover image:
var ernie_img = document.getElementById("ernieImg");
var original_src = ernie_img.src;
var ernie_img_2 = new Image(144, 59);
ernie_img_2.src = "/db/images/ernie-link2.gif";
ernie_img.onmouseover = function()
{
	this.src = ernie_img_2.src;
}
ernie_img.onmouseout = function()
{
	this.src = original_src;
}