tax collectors coin (IRScoin)