function new_window(anchor) { window.open(anchor.href); return false; }
function config_ext_links() {
    var anchors = document.getElementsByTagName('a');
    for ( var i=0; i < anchors.length; i++ ) {
        var anchor = anchors[i];
        var rel = anchor.getAttribute('rel');
        if ( rel && rel.match(/\bext\b/) ) {
            anchor.onclick = new Function('return new_window(this);');
        }
    }
}

function trim(s) {
    if (s == null) { return ''; }
    s = s.replace(/^\s+/, '');
    s = s.replace(/\s+$/, '');
    return s;
}