function switch_to_text() {
  document.cookie = "txt=1; max-age=" + (60*60*24*100);
}

function switch_to_map() {
  document.cookie = "txt=0; max-age=" + (60*60*24*100);
}