@grid.Pager() // The 'grid' variable is set when WebGrid is created.