Update example01.html