11.08_page4.html: type of various expressions