//   if (window != window.top) {
//      top.location.href = location.href;
//

itsNetscape = (navigator.appName == 'Netscape')
itsMSIE     = (navigator.appName == "Microsoft Internet Explorer")

GoodBrowser = 
  (
   ((navigator.appName == "Netscape") && (parseInt(navigator.appVersion) >= 3 )) 
   || 
   ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4 ))
  );


function libraryDate() {
  var firstMobileDay = 9  // first Mobile Day was the 10th January 2002
  var thisYear = 2003;
  var lastMobileDay = firstMobileDay+(24*14)
  document.writeln(nextDate(firstMobileDay,thisYear,lastMobileDay) + '.');
}

function paperDate() {
  var firstMobileDay = 8;  // - 14*Math.floor(121/14);  // first known paper Day was Tuesday 1st May 2001 (day 121)
  var thisYear = 2002;
  var lastMobileDay = firstMobileDay+(24*14)
  document.writeln(nextDate(firstMobileDay  ,thisYear,lastMobileDay  ) + ' (Tuesday) and ');
  document.writeln(nextDate(firstMobileDay+9,thisYear,lastMobileDay+9) + ' (Thursday).');	// do again for the Thursday collection 
}

days_in_month = new Array(31,28,31,30,31,30,31,31,30,31,30,31)
months = new Array("January","February","March","April","May","June","July","August","Sepember","October","November","December")

function nextDate(firstMobileDay,thisYear,lastMobileDay) {

  var text;

  days_in_month[1] = (thisYear%4 != 0 ? 28 : 29);
  //alert(days_in_month[1]); 

  var current_date = new Date()
  var yy = current_date.getYear()
  if   (yy <1900) {yy += 1900}
  var mm = current_date.getMonth() // 0 to 11
  var dd = current_date.getDate()  // 1 to 31
  var day_of_year = dd
  for (var i = 0 ; i < mm ; ++i) {
    day_of_year += days_in_month[i]
  }
  var daysToGo = (lastMobileDay - day_of_year)%14
  if ((yy == thisYear) && (daysToGo >= 0 )) {
    text = "<STRONG>"+Jul2Greg(day_of_year+daysToGo) + " " + thisYear +"</STRONG>";
  }
  else {
    text = "<EM>unknown - only dates in "+thisYear+" are known - last date was " + Jul2Greg(lastMobileDay) + " " + thisYear+"</EM>";
  }
  return text;
}
function Jul2Greg(jdate) {
  for (var m = 0 ; jdate > days_in_month[m] ; ++m) {
    jdate -= days_in_month[m]
  }
var units = jdate % 10
  if       (units  > 3) {var suffix = "th"}
  else if ((units == 0) || ((jdate > 10) && (jdate <14))) {var suffix = "th"}
  else if  (units == 1) {var suffix = "st"}
  else if  (units == 2) {var suffix = "nd"}
  else                  {var suffix = "rd"}
  return ("" + jdate + suffix + " " + months[m])
}