@hennessy: how many coins