Name of the pixel font?

programming flash
1

Well, I was just wondering if anyone know the name of that pixel font??
http://www.douglasfisher.co.uk/ (the navigation)

thx in advance :smiley:
Keelz