John has AGI of $150,000 in 2013. During 2013, John also had an uninsured personal casualty loss of $20,000 (after the $100 reduction). The personal casualty loss related to an accident that John had with Andrew. John carried no collision insurance and Andrew was also an uninsured motorist. Assume John itemizes deductions in 2013. What is the casualty loss amount that John may deduct on his return?