12073 ; 2 .)