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