function changeimage_menu(imageid, imagename) {
	document.getElementById(imageid).src = 'images/andalucian_estates_images/' + imagename;
}