// jeff's code for mouseover buttons
// note: the parameter given to the buttondown() and buttonup() functions must match the "name" attribute of the IMG tag.
if (document.images) {

    // all english lang files are in TOP LEVEL images folder

    step1_en_up       = new Image();
    step1_en_up.src   = "./images/step1_en.gif" ;
    step1_en_down     = new Image() ;
    step1_en_down.src = "./images/step1_en_down.gif" ;

    step2_en_up       = new Image();
    step2_en_up.src   = "./images/step2_en.gif" ;
    step2_en_down     = new Image() ;
    step2_en_down.src = "./images/step2_en_down.gif" ;
    
    step3_en_up       = new Image();
    step3_en_up.src   = "./images/step3_en.gif" ;
    step3_en_down     = new Image() ;
    step3_en_down.src = "./images/step3_en_down.gif" ;

    step4_en_up       = new Image();
    step4_en_up.src   = "./images/step4_en.gif" ;
    step4_en_down     = new Image() ;
    step4_en_down.src = "./images/step4_en_down.gif" ;

    step5_en_up       = new Image();
    step5_en_up.src   = "./images/step5_en.gif" ;
    step5_en_down     = new Image() ;
    step5_en_down.src = "./images/step5_en_down.gif" ;
    
    logo_pt_up      		= new Image();
    logo_pt_up.src   		= "./images/logo_trioproject_pt.gif" ;
    logo_pt_down     		= new Image() ;
    logo_pt_down.src 		= "./images/logo_trioproject2_pt.gif" ;


	logo_trioproject_up       	= new Image();
    logo_trioproject_up.src   	= "./images/logo_trioproject.gif" ;
    logo_trioproject_down     	= new Image() ;
    logo_trioproject_down.src 	= "./images/logo_trioproject2.gif" ;

    arrowright1_up       = new Image();
    arrowright1_up.src   = "./images/arrowright0_t.gif" ;
    arrowright1_down     = new Image() ;
    arrowright1_down.src = "./images/arrowright3_t.gif" ;

    arrowright2_up       = new Image();
    arrowright2_up.src   = "./images/arrowright0_t.gif" ;
    arrowright2_down     = new Image() ;
    arrowright2_down.src = "./images/arrowright3_t.gif" ;

    arrowright3_up       = new Image();
    arrowright3_up.src   = "./images/arrowright0_t.gif" ;
    arrowright3_down     = new Image() ;
    arrowright3_down.src = "./images/arrowright3_t.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" );
    }
}