I'm not at home now so I can't tell you exactly how I do it.
But I can say I'm doing it quite like this.

The only difference is that I'm also creating a $_SESSION with the user_id and user_name, so that I don't have to check the cookies everytime.

I will post the script later.