function LoadRandom(pre) {
  var fns=new Array("andromeda","boomerang","eclipse","","bright-star_");
  var ran=0;
  var i=0;
  var oldURL=window.location.href;
  var newFN="";
  i = oldURL.length - 1;
  while (i >= 0 && oldURL.charAt(i) != "/")
    i = i - 1;
  var oldFN = oldURL.substring(i+1,oldURL.length);
  i = 0;
  do {
    i = i + 1;
    var now=new Date();
    ran=Math.round(Math.random() * fns.length + now.getTime()) % fns.length;
    newFN = fns[ran];
    if(newFN != "")
      newFN = pre + newFN + ".html";
    else
      newFN = "./";
  }
  while (newFN == oldFN && i < 20);
  window.location.href = newFN;
}