( 12 5 4)