This can just be `if (zGbl_PageChangedByAJAX_Timer) {`.