Searched refs:changeNavLang (Results 1 – 2 of 2) sorted by relevance
462 function changeNavLang(lang) { function478 changeNavLang(lang);
3398 window.changeNavLang = function() { function