What IP address would i use to ping a PC connected behind a home router (with one public IP address shared among multiple PCs)?

Would it be:

<global IP address>:<port num>?

How would I find out the port num?

I'm confused at how servers can distinguish between the different computers that share a single public ip behind a router.