4672 ; .7251 .)