// JavaScript Document
<!--
if (document.images) {
    icon1up       = new Image();
    icon1up.src   = "images/btn_backtotop.gif" ;
    icon1down     = new Image() ;
    icon1down.src = "images/btn_backtotop_o.gif" ;
	
	icon2up       = new Image();
    icon2up.src   = "images/btn_request.gif" ;
    icon2down     = new Image() ;
    icon2down.src = "images/btn_requestO.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" );
    }
}
// -->