function change(page) {
	document.getElementById(page).src = "images/btn_"+page+"_over.gif";
}