writeToc(); header("Content-Type: text/plain; charset=$defCharset"); // return JS object literals "{}" for XMLHTTP request echo "{method:'$method', tocHTML:'$tocHTML'}"; ?>