print "_7894561230"[input()]