Assuming that it actually is 12.5% (and may not be as it degrades), each gallon would add about 4.5ppm of chlorine.

The best time to add chlorine is in the evening but if you are around during the day you can certainly add more then as well.