end of top_page