// JavaScript Document

function calcHeight()
{
  //find the height of the internal page
  var the_height=
    document.getElementById('viewframe').contentWindow.
      document.body.scrollHeight;

  //change the height of the iframe
  document.getElementById('viewframe').height=
      the_height;
}







if (document.images) {
    buttonportfolioup       = new Image();
    buttonportfolioup.src   = "images/portfolio.jpg" ;
    buttonportfoliodown     = new Image() ;
    buttonportfoliodown.src = "images/portfolio_over.jpg" ;

}

if (document.images) {
    buttoncontactup       = new Image();
    buttoncontactup.src   = "images/contact.jpg" ;
    buttoncontactdown     = new Image() ;
    buttoncontactdown.src = "images/contact_over.jpg" ;

}

if (document.images) {
    buttonresumeup       = new Image();
    buttonresumeup.src   = "images/resume.jpg" ;
    buttonresumedown     = new Image() ;
    buttonresumedown.src = "images/resume_over.jpg" ;

}

function buttondown( buttonname )
{
    if (document.images) {
      document[ buttonname ].src = eval( buttonname + "down.src" );
    }
}
function buttonup ( buttonname )
{
    if (document.images) {
      document[ buttonname ].src = eval( buttonname + "up.src" );
    }
}