function showtip (v) {
    if (document.all[v]) {
        document.all[v].style.visibility='visible';
    }
}
function hidetip (v) {
    if (document.all[v]) {
        document.all[v].style.visibility='hidden';
    }
}

function hgt(nm1,nm2){
    var $h = document.getElementById(nm1).clientHeight ;
    document.getElementById(nm2).style.height=$h;    
}