利用公式S=x-1+[(x-1)÷4]-[(x-1)÷100]+[(x-1)÷400]+C可以推算某年某月某日是星期几.这里x表示公元年的年份数,C表示从这年元旦算到这天止(包括这天)的天数,这里的记号[a]表示数a的整数部分,例如[5.4]=5,[(1994-1)÷4]=498.求出S后,用7除,如恰好整除,这一天就是星期天,如余1,这一天就是星期一;如余2,这一天就是里期二;其余类推.利用此公式可以知道公元2006年5月11日是星期______.