initial HTML pages, results-to-json converter