某人售出l股执行价格为1005元，1年后到期的ABC公司股票的看跌期权。如果1年后该股票的市场价格为80元，则该期权的到期日价值为( )元。