// JavaScript Document

function HL(ButtonID, Direction) {
	if (Direction == "on") {
		document.getElementById(ButtonID).src = "/images/HL/" + ButtonID + ".gif" ;
	}
	else {
		document.getElementById(ButtonID).src = "/images/" + ButtonID + ".gif" ;
	}
}

function OpenAII() {
	window.open("AII.html", "_blank", "height=600,width=800,menubar=no,resizable=yes,toolbar=no,status=no,top=100,left=100") ;
}