12820 ) ( 1957 .)