function over_image() {
   document.all.home_img.src="images/home0.gif";     
}
function out_image() {
   document.all.home_img.src="images/home1.gif";   
}