/*
 * moving.js
 *
 * Annoying flashing text to tell the user that this site is moving.
 */

var loc = window.location.href;
var newLoc = window.location.protocol + "//" + window.location.hostname.replace(/snigfarp.karoo.net/,"cyningstan.org.uk");
if (loc.toLowerCase().indexOf("snigfarp")!=-1) {
    document.write ("<BLINK>");
    document.write ("Site is moving to ");
    document.write ("<A TARGET=\"_top\" HREF=\"" + newLoc + "/\">" + newLoc +
	"/</A>");
    document.write ("</BLINK>");
}