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