Translate part of ch01_01.html.