//For the disclaimer Copyright yyyy.
var today = new Date()
var year = today.getFullYear()

//For highlighting a text input.
function highlightInput(strWhatDo,objOnWhat,strOnClassName,strOffClassName) {
	if (strWhatDo=="on") {
		objOnWhat.className=strOnClassName;
	}
	else {
		objOnWhat.className=strOffClassName;

	}
}

function writeTodayDate() {
	var objDate1=document.getElementById("datestamp");
	objDate1.value=today
}

//Two functions for flipping images.
function loginKeyAnimate(strKeyName) {
	objKeyOn=new Image;
	objKeyOn.src="./GraphicsUI/mmnLoginKeyOn_60x13.gif";
	var objKey=document.getElementById(strKeyName);
	objKey.src=objKeyOn.src;
	setTimeout("revert('"+strKeyName+"')",1000);
}
function revert(strKeyName) {
	var objKey=document.getElementById(strKeyName);
	objKeyOld=new Image;
	objKeyOld.src="./GraphicsUI/mmnLoginKey_60x13.gif";
	objKey.src=objKeyOld.src;
}