function do_page_top()
{

}