// JavaScript Document
function over(img)
{
document.getElementById(img).src="images/buttons/" + img + "Over.gif";
}
function out(img)
{
document.getElementById(img).src="images/buttons/" + img + "Default.gif";
}