function banner_over(imageid){
	document[imageid].src = "/images/buttons/" + imageid + "_over.png";
}

function banner_off(imageid){
	document[imageid].src = "/images/buttons/" + imageid + "_norm.png";
}