知道今年12月1日星期三,怎么推算明年12月1日是星期几,公式怎么算

基姆拉尔森计算公式（星期几与日期的转化）
　　W= (d+2*m+3*(m+1)/5+y+y/4-y/100+y/400) mod 7
　　在公式中d表示日期中的日数,m表示月份数,y表示年数.
正常方法是加365或者366天再mod7,如原题可直接得答案是星期四或星期五（闰年）