已知2001年元旦是周一,那么2005年5月1日是周几?