<!--
if (document.images) {
    homebuttonup       = new Image();
    homebuttonup.src   = "homebutton.gif" ;
    homebuttondown     = new Image() ;
    homebuttondown.src = "homebuttondown.gif" ;

    cat60up       = new Image();
    cat60up.src   = "../imgs/modelsmall_catamaran60.jpg" ;
    cat60down     = new Image() ;
    cat60down.src = "../imgs/modelsmall_catamaran60over.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" );
    }
}
// -->