( 18 , 487 .)