( 12 , 144 .)