php page tool,refer to the PEAR::Pager