var icon_dir = "./images/Buttons/";
function icon_swap(image, state) {
	// alert(image + "hehe");
	//alert(image.name + " is the image image");
	image_newsrc = icon_dir + "button_" + image.name + "_" + state + ".gif";
	//alert(image_newsrc);
	image.src = image_newsrc;
}