script: c01r0101/ev_c01r0101_check_badge_count_7

code

ev_c01r0101_check_badge_count_7:
    sys_flag_badge_count(work: 246)
    ifval_jump(work: 246, "GE", 7.0, "ev_c01r0101_middlem_12")
    jump("ev_c01r0101_middlem_11")
    jump("ev_c01r0101_middlem_03")

0 callers