<!--
if (document.images) {
    logobuttonup       = new Image();
    logobuttonup.src   = "../assets/images/new_logo_green.png" ;
    logobuttondown     = new Image() ;
    logobuttondown.src = "../assets/images/new_logo_black.png" ;
}
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" );
    }
}
// -->