Rahim can do a piece of work in 20 days. Karim is 25% more efficient than Rahim. The number of days taken by Karim to do the same piece of work is