function over(x){
	x.src=x.src.replace(".png","_over.png");
}
function out(x){
	x.src=x.src.replace("_over.png",".png");
}