// JavaScript Document
function changeLanguage(dest) {
  alert('changing to: ' + dest);
  if (!dest || !dest.length) return true;
  window.location = dest; 
  
}