function img_act(aimagename)  {
   if (document.images) {
     document[aimagename].src = js_images[aimagename][0].src;
   }
}

function img_inact(aimagename)   {
   if (document.images) {
     document[aimagename].src = js_images[aimagename][1].src;
   }
}