function DocFileNameExtract()
  {
  wholeurl = window.location.href;
  x = wholeurl.length;
  while ((wholeurl.substring(x, x - 1)) != "/")
	x--;
  clipstart = x;
  return wholeurl.substring(wholeurl.length, clipstart);
  }

if (top.location.href.indexOf("http://www.bath.co.uk/_code/sections/shopping/default.asp") == -1)
  {
  fn = "default.asp?page=" + DocFileNameExtract();
  top.location.replace(fn);
  }