function trim(str) {
    return str.replace(/^\s+/g, '').replace(/\s+$/g, '');
}

function redirect(location) {
    window.location = location;
}