7138 , 3 .)