( 12 ! 6)