function disp(varid){
 document.getElementById(varid).style.visibility = 'visible';
}

function hide(varid){
 document.getElementById(varid).style.visibility = 'hidden';
}