2017年12月15日到2018年5月20日一共有多少天。多长时间。