Update demo-fun.html