5の倍数か7.12.17