A local college bookstore paid a net price of $12,500 for textbooks for the coming semester. The publisher offered a trade discount of 20%. The publisher's original list price was ______