var navline = "<span>&nbsp\;You are here:&nbsp\;&nbsp\;&nbsp\;";
if(nav0_name && nav0_url) { navline += "<a href=\"" + nav0_url + "\" class=\"navbar1\">" + nav0_name + "</a> » "; }
if(nav1_name && nav1_url) { navline += "<a href=\"" + nav1_url + "\" class=\"navbar1\">" + nav1_name + "</a> » "; }
if(nav2_name && nav2_url) { navline += "<a href=\"" + nav2_url + "\" class=\"navbar1\">" + nav2_name + "</a> » "; }
if(nav3_name && nav3_url) { navline += "<a href=\"" + nav3_url + "\" class=\"navbar1\">" + nav3_name + "</a> » "; }
navline += "<a href=\"" + navx_url + "\" class=\"navbar2\">" + navx_name + "</a>";
navline += "</span>";



// Random number generator. If max=3 then function returns 1,2 or 3
function getRandom(max) {return (Math.floor(Math.random()*max))+1;}



function showCode(codeblock,depth)
{
   if(depth == 0)      { var dotdotslash = ""; }
   else if(depth == 1) { var dotdotslash = "../"; }
   else if(depth == 2) { var dotdotslash = "../../"; }

   var switchid = codeblock + "_switch";

   if( window.document.getElementById(codeblock).style.display == "none" )
   {
      window.document.getElementById(codeblock).style.display = "block";
      window.document.getElementById(switchid).innerHTML = "<img src='" + dotdotslash + "common/showcode_uparrow.gif' class='showcode' width='7' height='6' alt=''>hide code";
      window.document.getElementById(switchid).blur();
   }
   else
   {
      window.document.getElementById(codeblock).style.display = "none";
      window.document.getElementById(switchid).innerHTML = "<img src='" + dotdotslash + "common/showcode_downarrow.gif' class='showcode' width='7' height='6' alt=''>show code";
      window.document.getElementById(switchid).blur();
   }
}