I'll just add my two cents since I'm pretty sure about how to say this, but I'll wait for a native speaker to respond: Informal -- 다행 이다 or 다행이야 Formal -- 다행이에요 or 다행입니다