function swap_image(id,image) {
	document.getElementById(id).src = HTTP_ROOT + "images/buttons/" + image;
}