 Okay. All right. And typically I would tell people to dip their cutters in a 10% solution of chlorine every time that they cut. So whatever you're cutting with, you can have a bucket of chlorine and have a 10% solution of chlorine.