Colorado department of revenue. .