12439 ) ( 1957)