Generated on Mon May 5 09:10:21 2008 for coin by  doxygen 1.5.3