<!--
//preload images for better viewing

if (document.images) {

  ref1_off     = new Image(68,39);
  ref1_off.src = "../images/news_button_off.gif";
  ref1_on      = new Image(68,39);
  ref1_on.src  = "../images/news_button_on.gif";
  ref2_off     = new Image(169,39);
  ref2_off.src = "../images/press_button_off.gif";
  ref2_on      = new Image(169,39);
  ref2_on.src  = "../images/press_button_on.gif";
  ref3_off     = new Image(98,39);
  ref3_off.src = "../images/contact_button_off.gif";
  ref3_on      = new Image(98,39);
  ref3_on.src  = "../images/contact_button_on.gif";
  ref4_off     = new Image(68,39);
  ref4_off.src = "../images/home_button_off.gif";
  ref4_on      = new Image(68,39);
  ref4_on.src  = "../images/home_button_on.gif";
}

//func() to handle mouseover
//imgOff is off image
//imgOn is on image
function rollOver(imgOff,imgOn) {

   if (document.images)
   {
   document.images[imgOff].src = eval(imgOn + ".src")
   }
}

//func to open popup window for gallery
function openit(url, title, options)
{
	window.open(url, title, options);
}

//func() to get and format date then display it
function thedate()
{

  var Today = new Date();
  var day, month, year; 
  var datestring ="";
  
  switch (Today.getDay()) {
    case 0:
      day = "Sunday";
      break;
    case 1:
      day = "Monday";
      break;
    case 2:
      day = "Tuesday";
      break;
    case 3:
      day = "Wednesday";
      break;
    case 4:
      day = "Thursday";
      break;
    case 5:
      day = "Friday";
      break;
    case 6:
      day = "Saturday";
      break;
  } 

  switch (Today.getMonth()) {
    case 0:
      month = "January";
      break;
    case 1:
      month = "February";
      break;
    case 2:
      month = "March";
      break;
    case 3:
      month = "April";
      break;
    case 4:
      month = "May";
      break;
    case 5:
      month = "June";
      break;
    case 6:
      month = "July";
      break;
    case 7:
      month = "August";
      break;
    case 8:
      month = "September";
      break;
    case 9:
      month = "October";
      break;
    case 10:
      month = "November";
      break;
    case 11:
      month = "December";
      break;
  } 

  todaydate = Today.getDate();
  year = Today.getYear();
  datestring +=  month + " " + todaydate + ", " + 2009;

  document.write("<FONT COLOR=#F3F3F3 FACE=ARIAL SIZE=2><B>" + datestring);
}

function openit(url, title, options)
{
	window.open(url, title, options);
}

