12480 . ) ( 1956 .)