function randomSample(phpFileName) {
  // alert(phpFileName);
  num = Math.floor(Math.random()*RandomCands.length);
  var cand = RandomCands[num];
  // alert(cand);
  location.href = phpFileName + "?word="
                  + cand;
//  return(false);
}

function inputFocus() {
  document.getElementById("topInputForm").focus();
}