home_hover = new Image ( );
home = new Image ( );
resume_hover = new Image ( );
resume = new Image ( );
contact_hover = new Image ( );
contact = new Image ( );


home_hover.src = "images/home_hover.jpg";
home.src = "images/home.jpg";
resume_hover.src = "images/resume_hover.jpg";
resume.src = "images/resume.jpg";
contact_hover.src = "images/contact_hover.jpg";
contact.src = "images/contact.jpg";

function button_on ( imgId )
{
  if ( document.images )
  {
    butOn = eval ( imgId + "_hover.src" );
    document.getElementById(imgId).src = butOn;
  }
}

function button_off ( imgId )
{
  if ( document.images )
  {
    butOff = eval ( imgId + ".src" );
    document.getElementById(imgId).src = butOff;
  }
}