Coleman filter power cord, how long is it?