function show_url(URLhref, URLtext, type)
{
  var cookieString=new String(document.cookie);
  var found=false;

  if ((cookieString.indexOf("Strg=kr98043jfkod")!=-1) && (type==1)) {  //for R/C floor
     found=true;
  }
  else 
  if ((cookieString.indexOf("Strg=9eufkfjcm")!=-1) && (type==2))  {   //for ivm cookie
     found=true;
  }
  else
  {
     found=false;
  }
  
  if (!found) 
     s=URLhref+URLtext+'</a>';
     // note: do not include "</a>" in your source html!!!
  else
     s=URLtext;

  return s;
}

function choose_url(URL1, URL2, type)
{
  var cookieString=new String(document.cookie);
  found=false;

  if ((cookieString.indexOf("Strg=kr98043jfkod")!=-1) && (type==1)) {  //for R/C floor
     found=true;
  }
  else 
  if ((cookieString.indexOf("Strg=9eufkfjcm")!=-1) && (type==2))  {   //for ivm cookie
     found=true;
  }
  else
  {
     found=false;
  }
  
  if (found)   //if cookie exists, show URL1 else show URL2
     s=URL1;
  else
     s=URL2;
  
  return s;
}


function cookie_found(type)
{
  var cookieString=new String(document.cookie);

  if ((cookieString.indexOf("Strg=kr98043jfkod")!=-1) && (type==1)) {  //for R/C floor
     return(true);
  }
  else 
  if ((cookieString.indexOf("Strg=9eufkfjcm")!=-1) && (type==2))  {   //for ivm cookie
     return(true);
  }
  else
  {
     return(false);
  }
}