Serial Port device names

ok so apparently it’s /dev/ttyS4, but what are ttyS5/6/7 ?