function swapImage(img, over)
    {
	    document.images[img].src = (over) ? "images/" + img + "_over.gif" : "images/" + img + ".gif";
    }