<!--
function fixed (text) {
//these signs stay always where they are.

  if (text=="5c" ||
      text=="7d" ||
      text=="9f" ||
      text=="2g")
    return true;
  else
    return false;
}

function giveValue(naam) {

  if ((naam=="5c") ||
      (naam=="1e") ||
      (naam=="6h") ||
      (naam=="9f"))
    text="( )";
  else {
    if ((naam=="9a") ||
        (naam=="7b") ||
        (naam=="9h") ||
        (naam=="4f") ||
        (naam=="2g"))
      text="/\\";
    else {
      if ((naam=="7c") ||
          (naam=="7d") ||
          (naam=="9i") ||
          (naam=="4g"))
        text="[]";
      else {
        if ((naam=="9b") ||
            (naam=="7e") ||
            (naam=="4h") ||
            (naam=="9j") ||
            (naam=="2h"))
          text="\\/";
        else {
          if (naam=="1b")
            text="<:";
          else {
            if (naam=="2b")
              text=":>";
            else
              text="$$";
          }
        }
      }
    }
  }
  return(text);
}
//-->