Converting date using PI mapping function

Hi,

In need to convert following date '20130708' (YYYYMMDD) into '2013-07-08T00:00:00+05:30' format in PI mapping.

Is it possible to convert using PI mapping functions.

If Yes then how?

If No then is there any other method by which conversion can be done?

Thanks & Regards,

Vinit.