( STA , 22512 .)