function keyboard_insert(letter){
  document.getElementById('search_text').value=document.getElementById('search_text').value + letter;
  return false;
}