load=0;
window.onload=loadem;
hover=
(((navigator.appName=="Netscape")&&(parseInt(navigator.appVersion)>=3))||
((navigator.appName=="Microsoft Internet Explorer")&&(parseInt(navigator.appVersion)>=4)));
function preload(img){
 var a=new Image(); a.src=img; return a;
}
function mover(tag){
if(load==0)return;
document[tag].src=eval(tag+"_a.src");
}
function mout(tag){
if(load==0)return;
document[tag].src=eval(tag+"_i.src");
}
function loadem(){
 if(hover){
  about_i=preload('/b_about_i.gif');
  about_a=preload('/b_about_a.gif');
  services_i=preload('/b_services_i.gif');
  services_a=preload('/b_services_a.gif');
  membership_i=preload('/b_membership_i.gif');
  membership_a=preload('/b_membership_a.gif');
  downloads_i=preload('/b_downloads_i.gif');
  downloads_a=preload('/b_downloads_a.gif');
 }
 load=1;
}

var months=new Array(13);
months[1]="January";
months[2]="February";
months[3]="March";
months[4]="April";
months[5]="May";
months[6]="June";
months[7]="July";
months[8]="August";
months[9]="September";
months[10]="October";
months[11]="November";
months[12]="December";

function printDateTime() {
  var time=new Date();
  var lmonth=months[time.getMonth() + 1];
  var date=time.getDate();
  var year=time.getYear();
  if (year < 2000) year = year + 1900;
  myhours = time.getHours();
  ampmhour  =  (myhours > 12) ? myhours - 12 : myhours;
  ampm =  (myhours >= 12) ? ' PM' : ' AM';
  mytime = time.getMinutes();
  myminutes =  ((mytime < 10) ? ':0' : ':') + mytime;
  document.write(ampmhour + myminutes + ampm + ", ");
  document.write(lmonth + " ");
  document.write(date + ", " + year + "&nbsp;&nbsp;");
}

function preload(img) {
 var a=new Image(); a.src=img; return a;
}

function lastmod() {
  var last = document.lastModified;
  var time = new Date(last);
  var lmonth=months[time.getMonth() + 1];
  var date=time.getDate();
  var year=time.getYear();
  if (year < 2000) year = year + 1900;
  myhours = time.getHours();
  ampmhour  =  (myhours > 12) ? myhours - 12 : myhours;
  ampm =  (myhours >= 12) ? ' PM' : ' AM';
  mytime = time.getMinutes();
  myminutes =  ((mytime < 10) ? ':0' : ':') + mytime;
  document.write('&nbsp;Last modified: ');
  document.write(ampmhour + myminutes + ampm + ", ");
  document.write(lmonth + " ");
  document.write(date + ", " + year);
}