11423x1 ) ( 8613 ) 2;