// JavaScript Document

function Over ( page , button ) {
	document . getElementById( "mmb_" + page ) . src = "images/mmb_" + page + "_off.jpg" 
	document . getElementById( "mmb_" + button ) . src = "images/mmb_" + button + "_on.jpg" ;;
}

function Out ( page , button ) {
	document . getElementById( "mmb_" + page ) . src = "images/mmb_" + page + "_on.jpg" ;
	document . getElementById( "mmb_" + button ) . src = "images/mmb_" + button + "_off.jpg" ;
}