function baseURL() {
    return BASE_URL;
}

function siteURL(uri) {
    return baseURL() + 'index.php/' + (uri == null ? '' : uri);
}

function redirect(uri) {
    location.href = siteURL(uri);    
}

var CONTROL_KEYS = [9,13,16,17,18,19,20,27,33,34,35,36,37,38,39,40,45,112,113,114,115,116,117,118,119,120,121,122,123];