( , 25392 .)