しかもその17000を頭数理論で割ると4250…w