function framedown (newhref) {
   parent.dolnifrm.location.href=newhref;
   return; }

 function frameup (newhref) {
   parent.hornifrm.location.href=newhref;
   return; }