単位をミリとマイクロで分けるのやめてくれ。８０００マイクロと８０００ミリではえらい違いだな。