function banner(t)
{
   if (t=="dolni")
      b=["banner.gif#www.krasnyusmev.cz","banner1.gif#www.krasnyusmev.cz", "banner2.gif#www.krasnyusmev.cz"];
   p=b.length;
   n=Math.round(Math.random()*(p-1));
   v=b[n].split("#");
   v_src=v[0];v_url="http://"+v[1];
   document.write('<A HREF="'+v_url+'">'+'<IMG SRC="'+v_src+'" BORDER="0"></A>');
}