( 12 , 388 .)