function Swap(name,over)
{
    if(window.document.images) 
    {
        if (over)
        window.document.images[name].src = "Images/Buttons/" + name + "2.gif";
        else
        window.document.images[name].src = "Images/Buttons/" + name + ".gif";
    }
}