Should one say "had I known that...." OR "had I <u>had</u> known that......." ??