5614 ) ( 12392 .)