String out(String index) { String? dd = texts[index]; if (dd == null || dd.isEmpty) { return ''; } return dd; }