The pixel count per line is just over 4,000
Slang for the fact that early receivers cost $4,000
It has 4 times the number of total pixels as 1080i