puts'428571'[`dc -e'?6%?2%2+6|p'`.to_i]