function handle_placeholder(txt, focus)
{
  if (focus && (txt.getAttribute('placeholder') == txt.value)) {
    txt.value = '';
  } else if (!focus && (txt.value == '')) {
    txt.value = txt.getAttribute('placeholder');
  }
}