Update example9.html