GetBufName (hbuf)

Returns the name of the file associated with a file buffer. Hbuf is the file buffer handle.