
<!--

// Set these to the HREFs of the style sheets.
IEHREF = "style/NIE.css";
pcHREF = "style/NA.css";
//alert(navigator.appName)
if (navigator.appVersion.indexOf("IE") >= 0) 
{
printHREF = IEHREF;
}
else 
{
printHREF = pcHREF;
}
//document.writeln
document.writeln('<LINK REL=STYLESHEET HREF="' + printHREF + '" TYPE="text/css">');

function bookmarksite(title, url){
if (document.all)
window.external.AddFavorite(url, title);
else if (window.sidebar)
window.sidebar.addPanel(title, url, "")
}
//-->


<!-- hide from old browsers
  function GetDay(intDay){
    var DayArray = new Array("Sunday", "Monday", "Tuesday", "Wednesday", 
                         "Thursday", "Friday", "Saturday")
    return DayArray[intDay]
    }

  function GetMonth(intMonth){
    var MonthArray = new Array("January", "February", "March",
                               "April", "May", "June",
                               "July", "August", "September",
                               "October", "November", "December") 
    return MonthArray[intMonth] 	  	 
    }
  function getDateStrWithDOW(){
    var today = new Date()
    var year = today.getYear()
    if(year<1000) year+=1900
    var todayStr = GetDay(today.getDay()) + ", "
    todayStr += GetMonth(today.getMonth()) + " " + today.getDate()
    todayStr += ", " + year
    return todayStr
    }
//-->
