( 4 , 393 .)