if ((window.location.hash)&&((window.location.pathname == '/')||(window.location.pathname == '/.a/'))) {
    if ((window.location.hash.indexOf('[[') == 1)&&(window.location.hash.indexOf(']]') == window.location.hash.length-2)){
        window.location = '/.a/recipes/sitecontent/tiddlers/'+window.location.hash.substring(3,window.location.hash.length-2)
    } else {
        window.location = '/.a/recipes/sitecontent/tiddlers/'+window.location.hash.substring(1,window.location.hash.length);
    }
}