formatting ifx