$DateStringFormat

$DateStringFormat
gives the format used for dates generated by DateString.