function get_local(success_callback, f){
    var script = document.createElement('script');
    script.src = './static/js/' + f;
    var head = document.getElementsByTagName('head')[0];
    done = false;
    script.onload = script.onreadystatechange = function(){
        if (!done && (!this.readyState || this.readyState == 'loaded' || this.readyState == 'complete')) {
            done = true;
            success_callback()
            script.onload = script.onreadystatechange = null;
            head.removeChild(script);
        };
    };
    head.appendChild(script);
};
function main(){}
function check_def(s, f){
    if (typeof s == 'undefined'){
        get_local(main, f)
    }
}
if (typeof React == 'undefined'){
    get_local(main, 'react-0.13.3.min.js')
};