一个很精简的程序,输入2000-2099年的任意年月日,都可算出星期几