function setBorder(id, border) {
    var obj = document.getElementById(id);

    if (obj != null) {
        obj.style.border = border;
    }
}

function togglePlayImage(obj) {
    toggleImage(obj, "/client/images/control_play.png", "/client/images/control_pause.png");
}

function toggleImage(obj, srcOn, srcOff) {
    obj.src = (obj.src.match(srcOn) ? srcOff : srcOn);
}