if (document.images) {

    phonelistbuttonup       = new Image();
    phonelistbuttonup.src   = "phonelist.gif" ;
    phonelistbuttondown     = new Image() ;
    phonelistbuttondown.src = "phonelistroll.gif" ;

    picturesbuttonup       = new Image();
    picturesbuttonup.src   = "pictures.gif" ;
    picturesbuttondown     = new Image() ;
    picturesbuttondown.src = "picturesroll.gif" ;

    newsbuttonup       = new Image();
    newsbuttonup.src   = "news.gif" ;
    newsbuttondown     = new Image() ;
    newsbuttondown.src = "newsroll.gif" ;


    rushbuttonup       = new Image();
    rushbuttonup.src   = "rush.gif" ;
    rushbuttondown     = new Image() ;
    rushbuttondown.src = "rushroll.gif" ;


    servicebuttonup       = new Image();
    servicebuttonup.src   = "service.gif" ;
    servicebuttondown     = new Image() ;
    servicebuttondown.src = "serviceroll.gif" ;


    brothersbuttonup       = new Image();
    brothersbuttonup.src   = "brothers.gif" ;
    brothersbuttondown     = new Image() ;
    brothersbuttondown.src = "brothersroll.gif" ;


    housebuttonup       = new Image();
    housebuttonup.src   = "house.gif" ;
    housebuttondown     = new Image() ;
    housebuttondown.src = "houseroll.gif" ;


    socialbuttonup       = new Image();
    socialbuttonup.src   = "social.gif" ;
    socialbuttondown     = new Image() ;
    socialbuttondown.src = "socialroll.gif" ;


    imhbuttonup       = new Image();
    imhbuttonup.src   = "imh.gif" ;
    imhbuttondown     = new Image() ;
    imhbuttondown.src = "imhroll.gif" ;


    alumnibuttonup       = new Image();
    alumnibuttonup.src   = "alumni.gif" ;
    alumnibuttondown     = new Image() ;
    alumnibuttondown.src = "alumniroll.gif" ;


    homebuttonup       = new Image();
    homebuttonup.src   = "home.gif" ;
    homebuttondown     = new Image() ;
    homebuttondown.src = "homeroll.gif" ;

    buybuttonup       = new Image();
    buybuttonup.src   = "buy.gif" ;
    buybuttondown     = new Image() ;
    buybuttondown.src = "buyroll.gif" ;

   }
  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" );
    }
  }