12480 ) ( 1956 .)