function on.cp.high { led.red }; function on.cp.low { led.off }; function on.ci.high { led.green }; function on.ci.low { led.off }; function on.cn.high { led.blue }; function on.cn.low { led.off }; function on.co.high { led.yellow }; function on.co.low { led.off };