// JavaScript Document

function HighlightButton(loc,ending) {

	document.getElementById(loc).src = "/images/button_enteractive." + ending;

}



function NoHighlightButton(loc,ending) {

	document.getElementById(loc).src = "/images/button_enter." + ending;

}