function clapOn(the_id){
    var source = document.getElementById(the_id);
    if (!!source) {
        source.className = 'mudo';
    }
}

function clapOff(the_id) {
    var source = document.getElementById(the_id);
    if (!!source) {
        source.className = 'mud';
    }
}

{
    a1 = new Image(); a1.src = "/pics/tm_l.gif";
    a2 = new Image(); a2.src = "/pics/tm_r.gif";
}