11.25 grams of arsenic(III) iodide.