function MM_showBacknumbers() { //v9.5
  var a,p,b,obj,args=MM_showBacknumbers.arguments;
  for (a=0; a<(args.length-2); a+=3) 
  with (document) if (getElementById && ((obj=getElementById(args[a]))!=null)) { b=args[a+2];
    if (obj.style) { obj=obj.style; b=(b=='bnshow')?'0px':(b=='bnhide')?'-10000px':b; }
    obj.top=b; }
}