DOSname is a small program that gets you the DOS form of a specified path or file. I've been using this for ages, never came round to actually put it online, but there we are. If you occasionally need to get the (short) form of a path or filename, this tool comes to help.