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