document.writeln('<ul> <li> <a href="#SEC112">17. Read-Macros</a><ul><li> <a href="#SEC113">17.1 Macro Characters</a><li> <a href="#SEC114">17.2 Dispatching Macro Characters</a><li> <a href="#SEC115">17.3 Delimiters</a><li> <a href="#SEC116">17.4 When What Happens</a></ul></ul>');