// JavaScript Document

function over( mit, id ) {
			if ( id ) {
				document.getElementById( id ).src = "images/" + mit + ".gif";
				return true;
			}
			document.getElementById( mit ).src = "images/" + mit + ".gif";
			return true;
		}

function out( mit, id ) {
			if ( id ) {
				document.getElementById( id ).src = "images/" + mit + ".gif";
				return true;
			}	
			document.getElementById( mit ).src = "images/" + mit + ".gif";
			return true;
		}