char *value_2 = getHashEntry(setup_file_hash,"menu.headline1_spacing.INFO");
char *value_3 = getHashEntry(setup_file_hash,"menu.headline2_spacing.INFO");
char *value_4 = getHashEntry(setup_file_hash,"menu.line_spacing.INFO");
char *value_2 = getHashEntry(setup_file_hash,"menu.headline1_spacing.INFO");
char *value_3 = getHashEntry(setup_file_hash,"menu.headline2_spacing.INFO");
char *value_4 = getHashEntry(setup_file_hash,"menu.line_spacing.INFO");