Bob and Sharon reside in a state having high real property taxes. What amount of their $25,000 state and local taxes (including their property tax) can they deduct from income on their federal income tax return?