学校图书馆有科技书800本,比文艺书本数的5倍少80本,图书馆有文艺书多少本?