function showdiv(thediv) {
    $get(thediv).style.visibility = 'visible';
}
function hidediv(thediv) {
    $get(thediv).style.visibility = 'hidden';
}