这台笔记本电脑比原价便宜了1200元,八折销售,原价是多少元?