14786x1 ) ( 8193 .;