var r = new RegExp("^http://[a-z\.]+\.tudelft\.nl/~alex/CFP/","gi")
var r2 = new RegExp("^http://[a-z\.]+\.tudelft\.nl/~alex/CFP/old/","gi")
var r3 = new RegExp("^http://[a-z.]+[.]tudelft[.]nl/~alex/","gi")
if (document.location.href.match(r2) && ( document.referrer.match(/^http:\/\//) && !document.referrer.match(r)) ) {document.location.replace(document.location.toString().replace(r3, "http://www.xs4all.nl/~aslinger/"))}
//if (document.location.href.match(r2) && ( document.referrer.match(/^http:\/\//) && !document.referrer.match(r)) ) {document.location="http://dutetvg.et.tudelft.nl/~alex/CFP/"}