1 , 25193 .)