if ($debug) Debug.write("onvalue: ",v);