function splash()
  {
  var i = Math.round(9*Math.random())
  var p = "images/splash/P" + i + ".jpg";
  document.write ("<img src=" + p + ">");
  document.close();
  }