Update example4.html