[n] half past seven.
