You are both correct. I have fat thumbs.
It all goes back to Seinfeld.
“Seinfeld” is the English equivalent of “42”.