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