Jerry Jenkins is over 65 years of age and has no dependents. His only income was his salary of $10,500. During the year, he made only a nominal amount of disbursements of the type that qualify as itemized deductions of $3,290. What is his standard deduction for 2017?