function do_page_top_preamble()
{

}