initial ex_4.7.html