cat(unclass(as.Date(readLines('stdin'),'%Y%m%d')-3)%%7,sep=' ')