function secondhomes() {
	document.getElementById("button-secondhomes").src = "images_splash/button_secondhomes_over.jpg";
}
function secondhomesout() {
	document.getElementById("button-secondhomes").src = "images_splash/button_secondhomes.jpg";
}

function vacances() {
	document.getElementById("button-vacances").src = "images_splash/button_vacances_over.jpg";
}

function vacancesout() {
	document.getElementById("button-vacances").src = "images_splash/button_vacances.jpg" ;
}