function swapProPage(src){
	var ele = document.getElementById("proPage");
	//ele.src = "images/" + src;
	ele.src = src
}//end F(n)