リスト5.10 HTML shim用のパーシャル。