var lang_labels = {thanks:"Thanks"};