( 12 , 393 .)