12394 , 3 .)