/* index.php defaults to front_page.php */