How to get the short name of a directory ?

If I have a directory with long name (e.g. c:\dir_12345678), how can I get its short name c:\dir_12~1 ?
Is there any function to convert the long name to a short name ?

Thanks.