This page has moved to: http://us.metamath.org/award2003.html