Generated on Thu Nov 6 10:41:26 2008 for coin by  doxygen 1.5.6