- WebPage <
            Title : WS_TITLE,
            Report : Rows_{1st_page},
            Navigation : <
                           Page_number : 1,
                           Rows_total : Counter,
                           Rows_on_page : Settings.Rows_on_page
                         >
          >
          (
            'S', Const : S = `Const`Settings.Language_code
          )
          (
            Text : Say Text
          )
' Counter, Rows_{1st_page} - Items1stPage <
                                            Page_size : Settings.Rows_on_page
                                          >                                                
                                          (
                                            Result : Counter = Result.Total_rows
                                          )
                                          (
                                            Row : Rows_{1st_page} .= Row
                                          )

