Rename  example4 to  example4.html