20100613 unknown: What are time dollars?