Formatted time from timestamp

[Anon]

I have a UNIX timestamp being passed to my page and I would like to have that formatted into something like Monday 19th November 2001. How is this done?

Thanks in advance.

[Anon]

Direct from the manual at www.php.net:

http://www.php.net/manual/en/function.date.php

[Anon]

I've already looked there but cant get the example to work.