function LoadRandom(pre) {
  var fns=new Array("lucida-sans-0","moon-eclipse","cassiopeia-0","carina-nebula","rho-ophiuchi","aaron-12","omega-nebula","terminal-2","terminal-3","cassiopeia-1","starburst","tarantula","lucida-console-4","net-term","aaron-05","moon-color","lucida-sans","ngc1569","lucida-console","io-from-galileo","hcg-62-xray","aaron-15","crab-pulsar","lucida-sans-1","cats-eye-1","sombrero","helix-nebula-0","light-echoes","jupiter-io","ngc602","aaron-08","lucida-sans-2","m74-hydrogen","jupiter-red-0","aaron-10","aaron-18","predator","hyperion","jupiter-red","lucida-console-3","centaurus-0","jupiter-triple","aaron-03","ngc6302scorpius","ascii-art","moon-color-0","aaronpainting","g-292-xray","aaron-13","terminal-1","orion-nebula-0","sun-coronal","ant-nebula","solar-flare","boomerang","m2-9-wings","dark-matter","eta-carinae","andale-mono","fountain","ocr-b-bt","aaron-06","dust-cloud","lucida-console-0","terminal","sun-extreme","enceladus","ngc4676galaxies","red-cliffs","aaron-16","lucida-console-2","ngc1097infrared","m81-holmberg","saturn-thermal","ngc1232-spiral","m51-ngc5194","sun-corona","rosette-nebula","aaron-01","earth","crab-nebula","aaron-09","rosetta","solar-filament","galaxy-cluster","felia-mandelbrot","omega-nebula-0","aaron-11","ngc2440-planetary","cats-eye","netterm-bold","sun-storm","cats-eye-2","terminal-0","cassiopeia","ngc3324-carina","aaron-04","mars-moon","centaurus","ocr-b-bt-0","abell2218galaxy","supernova","m83color","ngc2818planetary","eagle-nebula-0","aaron-14","ring-nebula","trifid-nebula-0","boomerang-0","orion-nebula","heart-soul","sun-3-color","seahorse","lucida-console-1","sunspot","antennae","aaron-07","martian-sanddunes","sun-coronal-0","false-color","herbig-haro","aaron-17","trifid-nebula","ngc-6537","helix-nebula","lucida-console-5","cats-eye-0","sun-spot","aaron-02","europa-moon","eagle-nebula");
  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;
}