( 12 , 153 .)