Drupal - Return a view's total_rows in Drupal 7 without php filter?

On my D7 site with php-filter disabled ...

From a View configuration page: HEADER section, add, Global Result Summary

pick total row count or whatever, whatever you want:

You may use HTML code in this field. The following tokens are supported:
@start -- the initial record number in the set
@end -- the last record number in the set
@total -- the total records in the set
@name -- the human-readable name of the view
@per_page -- the number of items per page
@current_page -- the current page number
@page_count -- the total page count