function fillBox(which)
{
  theDiv = document.getElementById(which);
  theBox = document.getElementById("BoxToFill");
  theBox.innerHTML = theDiv.innerHTML;
}