function init() {
}

function selectTerm(target) {
  var term = document.getElementById("term");
  var lang = document.getElementById("lang_SML");
  term.value = target.firstChild.data;
  lang.checked = "checked";
}