function details(key)
{
  document.getElementById(key).style.display = "block";
  document.getElementById(key + "...").style.display = "none";
}
function hide(key)
{
  document.getElementById(key).style.display = "none";
  document.getElementById(key + "...").style.display = "inline";
}