$lang_header = $lang_header + $the_lang_choice_that_was_just_made