4 ms·

I believe those are the default Reddit usernames (if you don’t manually pick one when signing up, you get one like that).