// ------------ Script for stylesheet.
     var uA = navigator.userAgent;
     var aN = navigator.appName;
     var aV = parseInt(navigator.appVersion);
     var ie = (aN.indexOf('Micr') != -1);
     var mac = (uA.indexOf('Mac') != -1 || uA.indexOf('mac') != -1);

if (!mac) {
   if (ie) document.write("<Link Rel='stylesheet' Type='text/css' Href='http://www.ccnmtl.columbia.edu/style/winIE.css'>");
   else document.write("<Link Rel='stylesheet' Type='text/css' Href='http://www.ccnmtl.columbia.edu/style/winNS.css'>");
   }
else {
   if (ie) document.write("<Link Rel='stylesheet' Type='text/css' Href='http://www.ccnmtl.columbia.edu/style/macIE.css'>");
   else if (aN=='Netscape' && aV>4)  document.write("<Link Rel='stylesheet' Type='text/css' Href='http://www.ccnmtl.columbia.edu/style/macIE.css'>");
   else document.write("<Link Rel='stylesheet' Type='text/css' Href='http://www.ccnmtl.columbia.edu/style/macNS.css'>");
   }





// ------------ Script for frame prevention.
//if (top.location != self.location) { top.location = self.location; }





// ------------ Script for date.  Set array for months
function Date_Display() {
     var curr_month = new Array();
     curr_month[0]  = "Jan.";
     curr_month[1]  = "Feb.";
     curr_month[2]  = "Mar.";
     curr_month[3]  = "Apr.";
     curr_month[4]  = "May";
     curr_month[5]  = "Jun.";
     curr_month[6]  = "Jul.";
     curr_month[7]  = "Aug.";
     curr_month[8]  = "Sept.";
     curr_month[9]  = "Oct.";
     curr_month[10] = "Nov.";
     curr_month[11] = "Dec.";

     var curr_day = new Array();
     curr_day[0]  = "Sun.";
     curr_day[1]  = "Mon.";
     curr_day[2]  = "Tue.";
     curr_day[3]  = "Wed.";
     curr_day[4]  = "Thu.";
     curr_day[5]  = "Fri.";
     curr_day[6]  = "Sat.";

     var now = new Date();
     var month = now.getMonth();
     var today   = now.getDay();
     var day   = now.getDate();
     var year  = now.getYear();

// ------- here, to make year appear in yyyy format

     if (year< 1900) {
        year += 1900;
     }

     return (curr_day[today] + " " + curr_month[month] +  " " + day + ", " + year);
}