Bookmarklet to switch between production & development environments

bookmarklet.js

javascript:var%20h=location.href,a="www.scpr.org",b="localhost:8000";function%20s(){if(h.search(a)!=-1)z();else%20if(h.search(b)!=-1)y();else%20return%20false}function%20x(c){location.href=c}function%20y(){x(h.replace(b,a))}function%20z(){x(h.replace(a,b))}s();

expanded.js

javascript: 

var current_url = location.href;
var production_url = "www.scpr.org";
var development_url = "localhost:8000";

function site_detect() {
    
    if (current_url.search(production_url) != -1) {
        production_to_development();
    } else if (current_url.search(development_url) != -1) {
        development_to_production();
    } else {
        return false;
    }
}

function redirect(new_url) {
    location.href = new_url;
}

function development_to_production() {
    redirect(current_url.replace(development_url, production_url))
}

function production_to_development() {
    redirect(current_url.replace(production_url, development_url))
}

site_detect();