function black() { document.enter.src="pics/enter.gif"; }
function green() { document.enter.src="pics/enter1.gif"; }
function red() { document.engage.src="pics/engage2.gif"; }