一种电脑原价12500元,现价比原价便宜了20%,现价是多少元?