function over_button(aImage){
	document.getElementById(aImage).src = "img/"+aImage+"_over.gif"; 
}
function up_button(aImage){
	document.getElementById(aImage).src = "img/"+aImage+".gif"; 
}