Generated on Tue Apr 24 16:57:13 2007 for coin by  doxygen 1.4.6