Generated on Mon Jul 23 09:41:09 2007 for coin by  doxygen 1.4.6