The Seminole corporation has income before tax of $150,000.00 and taxable income of $65,000.00. The income tax rate is 35 percent. The journal entry includes a debit to income tax expense for what amount?