if (document.images) {
    articlebarup       = new Image();
    articlebarup.src   = "images/Article_bar_ani.gif" ;
    articlebardown     = new Image() ;
    articlebardown.src = "images/Article_bar_RO.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" );
    }
}