function buttonOver(button){
	button.style.backgroundImage = "url('imgs/but_"+button.id+".gif')";

}
function buttonOut(button){
	button.style.backgroundImage = "none";
	
}
function loadModule(button){
	document.location.href = "?module="+button.id;
	
}