( 8 493 ;3