1992年1月1日是星期三,那么2007年7月1日是星期几?算式咋列的?