function selectLeftBorder () {
   var r = document.getElementById ('menuleft');
   r.className = 'menulefts';
}

function deselectLeftBorder () {
   var r = document.getElementById ('menuleft');
   r.className = 'menuleftns';
}

function selectRightBorder () {
   var r = document.getElementById ('menuright');
   r.className = 'menurights';
}

function deselectRightBorder () {
   var r = document.getElementById ('menuright');
   r.className = 'menurightns';
}