"Statistics updated on 5/10/2024 12:09:29 PM"
the name given to the hairline of the tilde also is known as virgula