function update_translation_source(base_url)
{
  src = $('source_language_code').value;
  dest = $('translating_language_code').value;
  url = base_url;
  url += "?source_language_code=" + src;
  url += "&translating_language_code=" + dest;
  window.location = url;
}