( 13 , 144 .)