The documentFileName property returns the base file name of the document including the extension.
System.String documentFileName();
Returns the current file name of the document or otherwise null.
This property is Read-Only
Member of doc.