string(6) "HOL_GE"