<!-- DATE DE CREATION: 22/04/00 -->

  function display(txt) { window.status = txt; }


  {
   <!-- roll page zoom --> 
   nav07=new Image();
   nav07.src="../ic/pictnav07.gif";
   nav07rol=new Image();
   nav07rol.src="../ic/pictnav-r07.gif";

   nav08=new Image();
   nav08.src="../ic/pictnav08.gif";
   nav08rol=new Image();
   nav08rol.src="../ic/pictnav-r08.gif";
}