function(dateString,format,timeZone){ if (timeZone !== undefined){ return DateTimeHelper.parseDateString(dateString,format,Some(timeZone)); } else { return DateTimeHelper.parseDateString(dateString,format,None); } }