Issue #1202484: Code can not know the pager element ID used by the database system unless it is set explicitly