function checkDomain() {
  if ( location.host != "www.encvdc.org" ) {
    url = "http://www.encvdc.org";
    if ( location.pathname.search("~encvdc") >= 0 ) {
      path = location.pathname.replace( /~encvdc/, "" );
    }
    else if ( location.pathname.search("encvdc") >= 0 ) {
      path = location.pathname.replace( /encvdc/, "" );
    }
    location = url + path;
  }
}