}
static public int get_option_value(Context context, String name, int default_value) {
String s = get_option_value(context, name, String.valueOf(default_value));
}
static public int get_option_value(Context context, String name, int default_value) {
String s = get_option_value(context, name, String.valueOf(default_value));