<!--
//---------------------------------------------------------
// script for on mouse over color change

var mouseover_color = "#003366"; // deep blue
var original_color;

function colorChange(obj) {
	original_color = obj.style.background;
	obj.style.background = mouseover_color;
}

function colorRestore(obj) {
	obj.style.background = original_color;
}


//---------------------------------------------------------

function openWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}



//-->