15240 , 3 .)