Jack, who is 20 years old, single, and a full-time college student, qualifies as a dependent of his parents. He worked as a musician during the summer of 2018, earning $12,250. Jacks standard deduction is $12,000 (the greater of $1,050 or the sum of earned income of $12,250 plus $350, but limited to the $12,000 standard deduction for a single taxpayer). What is Jack's standard deduction?