9000元。加油卡的使用有着时间，加油卡的回收和实现平均折扣为9折，即一万的加油卡再次出售的价格为9000元。