12412 ) ( 1955)