print ['7891561231'][input()+1]