equ_koenig_number