3 1 , 5009 .)