<!-- INIZIO
function Br_sniff()
{
   // convert all characters to lowercase to simplify testing
  var agt=navigator.userAgent.toLowerCase();
  this.major = parseInt(navigator.appVersion)
  this.ie   = (agt.indexOf("msie") != -1);
  this.ie3  = (this.ie && (this.major < 4));
}
var user_br = new Br_sniff();
function initArray() 
{
  this.length = initArray.arguments.length;
  for (var i = 0; i < this.length; i++)
    this[i+1] = initArray.arguments[i];
}
function testCoffe() 
{
  //This shows the user the last date this page was modified
  //Modified by Coffeecup.com *** Heavily modified by Bo Johansson
  var lastModDate = new Date(document.lastModified);
  var test = lastModDate.getYear();      // *** Mod Bo Johansson 2000-03-27
  if(isNaN(parseInt(test)) || test == 70 || test == 1970)
    lastModDate = new Date(operaParse(document.lastModified));
  test = lastModDate.getYear();      // *** Mod Bo Johansson 2000-03-27
  if(isNaN(parseInt(test)) || test == 70 || test == 1970)
    lastModDate = new Date(hotjavaParse(document.lastModified));
  test = lastModDate.getYear();      // *** Mod Bo Johansson 2000-03-27
  if(isNaN(parseInt(test)) || test == 70 || test == 1970)
    return;
  var DOWArray = new initArray("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
  var MOYArray = new initArray("January","February","March","April","May","June","July","August","September","October","November","December");
  document.write("This page was last updated on ");
  document.write(DOWArray[(lastModDate.getDay()+1)],", ");
  document.write(MOYArray[(lastModDate.getMonth()+1)]," ");
  document.write(lastModDate.getDate(),", ");
  var year = lastModDate.getYear();
  if(year < 70)         //**** Modified by Bo Johansson 2000-03-27
    year += 2000;
  if(year < 1900)       //**** Modified by Bo Johansson 2000-01-01
    year += 1900;
  document.write(year, ".");
}
function testNow() 
{
  var thisDate = new Date();
  showDate(thisDate);
}
function testMod()       // *** Mod Bo Johansson 2000-03-27 
{
  var lastModDate = new Date(document.lastModified);
  var test = lastModDate.getYear();      // *** Mod Bo Johansson 2000-03-27
  if(isNaN(parseInt(test)) || test == 70 || test == 1970)
    lastModDate = new Date(operaParse(document.lastModified));
  test = lastModDate.getYear();      // *** Mod Bo Johansson 2000-03-27
  if(isNaN(parseInt(test)) || test == 70 || test == 1970)
    lastModDate = new Date(hotjavaParse(document.lastModified));
  test = lastModDate.getYear();      // *** Mod Bo Johansson 2000-03-27
  if(isNaN(parseInt(test)) || test == 70 || test == 1970)
    return;
  showDate(lastModDate);
}
function showDate(theDate) 
{
  var dateY = theDate.getYear();
  if( dateY < 70 )      //**** Modified by Bo Johansson 2000-03-27
    dateY += 2000;
  if( dateY < 1900 )
    dateY += 1900;
  var pixDateY1000 = Math.floor(dateY / 1000);
  dateY -= pixDateY1000 * 1000;
  var pixDateY100 = Math.floor(dateY / 100);
  dateY -= pixDateY100 * 100;
  var pixDateY10 = Math.floor(dateY / 10);
  dateY -= pixDateY10 * 10;
  var pixDateY_1 = dateY;
  var dateM = theDate.getMonth()+1;
  var pixDateM_1 = dateM % 10;
  var pixDateM10 = (dateM - pixDateM_1) / 10;
  var dateD = theDate.getDate();
  var pixDateD_1 = dateD % 10;
  var pixDateD10 = (dateD - pixDateD_1) / 10;
  var dateTh = theDate.getHours();
  var pixDateTh_1 = dateTh % 10;
  var pixDateTh10 = (dateTh - pixDateTh_1) / 10;
  var dateTm = theDate.getMinutes();
  var pixDateTm_1 = dateTm % 10;
  var pixDateTm10 = (dateTm - pixDateTm_1) / 10;
  document.write("<TD><IMG SRC=\"pix_xtra/siffra" + pixDateY1000
                   + ".gif\" width=15 height=20>");
  document.write("<TD><IMG SRC=\"pix_xtra/siffra" + pixDateY100
                   + ".gif\" width=15 height=20>");
  document.write("<TD><IMG SRC=\"pix_xtra/siffra" + pixDateY10
                   + ".gif\" width=15 height=20>");
  document.write("<IMG SRC=\"pix_xtra/siffra" + pixDateY_1
                   + ".gif\" width=15 height=20>");
  document.write("<IMG SRC=\"pix_xtra/streck.gif\" width=11 height=20>");
  document.write("<IMG SRC=\"pix_xtra/siffra" + pixDateM10
                   + ".gif\" width=15 height=20>");
  document.write("<IMG SRC=\"pix_xtra/siffra" + pixDateM_1
                   + ".gif\" width=15 height=20>");
  document.write("<IMG SRC=\"pix_xtra/streck.gif\" width=11 height=20>");
  document.write("<IMG SRC=\"pix_xtra/siffra" + pixDateD10
                   + ".gif\" width=15 height=20>");
  document.write("<IMG SRC=\"pix_xtra/siffra" + pixDateD_1
                   + ".gif\" width=15 height=20>");
  document.write("<IMG SRC=\"pix_xtra/middle.gif\" WIDTH=18 HEIGHT=20>");
  document.write("<IMG SRC=\"pix_xtra/siffra" + pixDateTh10
                   + ".gif\" width=15 height=20>");
  document.write("<IMG SRC=\"pix_xtra/siffra" + pixDateTh_1
                   + ".gif\" width=15 height=20>");
  document.write("<IMG SRC=\"pix_xtra/kolon.gif\" width=9 height=20>");
  document.write("<IMG SRC=\"pix_xtra/siffra" + pixDateTm10
                   + ".gif\" width=15 height=20>");
  document.write("<IMG SRC=\"pix_xtra/siffra" + pixDateTm_1
                   + ".gif\" width=15 height=20><\/TD>");
}
function operaParse(str)    // t.ex. "Sat, 05 Sep 1998 18:34:08 GMT"
{
  var thestr = new String(str)
  var indexA = thestr.indexOf(" ");
  var indexB = thestr.lastIndexOf(":");
  var newstr1 = thestr.substring(1 + indexA, 3 + indexB);
                                // t.ex. "05 Sep 1998 18:34:08"
  var date = parseInt(newstr1);
  var indexC = newstr1.indexOf(" ");
  var newstr2 = newstr1.substring(1 + indexC, newstr1.length);
                                    // t.ex. "Sep 1998 18:34:08"
  var indexD = newstr2.indexOf(" ");
  var monthstr =  newstr2.substring(0, indexD).toLowerCase();  // t.ex. "sep"
  var newstr3 = newstr2.substring(1 + indexD, newstr2.length);
                                      // t.ex. "1998 18:34:08"
  var month = "Unknown";
  if(monthstr == "jan")
    month = "January";
  else if(monthstr == "feb")
    month = "February";
  else if(monthstr == "mar")
    month = "March";
  else if(monthstr == "apr")
    month = "April";
  else if(monthstr == "may")
    month = "May";
  else if(monthstr == "jun")
    month = "June";
  else if(monthstr == "jul")
    month = "July";
  else if(monthstr == "aug")
    month = "August";
  else if(monthstr == "sep")
    month = "September";
  else if(monthstr == "oct")
    month = "October";
  else if(monthstr == "nov")
    month = "November";
  else if(monthstr == "dec")
    month = "December";
  var newstr = month + " " + date + ", " + newstr3;
             // t.ex. "September 5, 1998 18:34:08"
  return newstr;
} //============== operaParse() ========================
function hotjavaParse(str)    // ***** BJ mod 2000-03-27
{
  var thestr = new String(str)    // t.ex. "Mon Mar 27 17:27:38 CEST 2000"
  var indexA = thestr.indexOf(" ");
  var newstr1 = thestr.substring(1 + indexA, thestr.length);
                                // t.ex. "Mar 27 17:27:38 CEST 2000"
  var indexB = newstr1.indexOf(" ");
  var monthstr =  newstr1.substring(0, indexB).toLowerCase();  // t.ex. "mar"
  var newstr2 = newstr1.substring(1 + indexB, newstr1.length);
                                    // t.ex. "27 17:27:38 CEST 2000"
  var date = parseInt(newstr2);
  var indexC = newstr2.indexOf(" ");
  var indexD = newstr2.lastIndexOf(":");
  var timestr = newstr2.substring(1 + indexC, 3 + indexD);
                                    // t.ex. "17:27:38"
  var indexE = thestr.lastIndexOf(" ");
  var yearstr = thestr.substring(1 + indexE, thestr.length);   // t.ex. "2000"
  var month = "Unknown";
  if(monthstr == "jan")
    month = "January";
  else if(monthstr == "feb")
    month = "February";
  else if(monthstr == "mar")
    month = "March";
  else if(monthstr == "apr")
    month = "April";
  else if(monthstr == "may")
    month = "May";
  else if(monthstr == "jun")
    month = "June";
  else if(monthstr == "jul")
    month = "July";
  else if(monthstr == "aug")
    month = "August";
  else if(monthstr == "sep")
    month = "September";
  else if(monthstr == "oct")
    month = "October";
  else if(monthstr == "nov")
    month = "November";
  else if(monthstr == "dec")
    month = "December";
  var newstr = month + " " + date + ", " + yearstr + " " + timestr;
             // t.ex. "March 27, 2000 17:27:38"
  return newstr;
} //============== hotjavaParse() ========================
//FINE-->
