function switchVillaPic(newpic)
{
	var pic = document.getElementById("pic");
	pic.src = "images/pics/villa/" + newpic;
}

function switchDevonPic(newpic)
{
	var pic = document.getElementById("pic");
	pic.src = "images/pics/devon/" + newpic;
}