function fold(theid) {
var theid=document.getElementById(theid);
theid.style.display=(theid.style.display=="block")? "none" : "block";
}