<!--

detailsmenu_imgsrc=new Array();
detailsmenu_imgsrc[1]="../images/a_View-Details1.gif";
detailsmenu_imgsrc[2]="../images/p_View-Details1.gif";


detailsmenu_img =new Array();
for (i=0; i< detailsmenu_imgsrc.length; i++) {
  detailsmenu_img[i]=new Image();
  detailsmenu_img[i].src=detailsmenu_imgsrc[i];
}
function detailsmenu_change(number, picture) {
  {
    document[picture].src=detailsmenu_img[number].src;
  }
}

//-->