function redrawdiv(thediv)
{
 var thisdiv = document.getElementById(thediv); 
 var thisinner = thisdiv.innerHTML;
 while (thisdiv.childNodes[0]) thisdiv.removeChild(thisdiv.childNodes[0]);
 thisdiv.innerHTML = thisinner;
}