man(7)
などのカッコの中の数字は何をあらわしますか