function send(msg) {
    document.title = "null";
    document.title = msg;
}

function set_basename(basename) {
    $('#basename').html(basename);
}