//
// Bold on off function
//

function boldOn(text) {
    text.style.fontWeight='bold';
    return true;
    };

function boldOff(text) {
    text.style.fontWeight='normal';
    return true;
    };