Which of the following extension is used for batch files? code example

Example: batch file extension

@echo off
setlocal
set file=C:\Users\l72rugschiri\Desktop\fs.cfg
for %%i IN ("%file%") do (
   	echo filedrive=%%~di
	echo filepath=%%~pi
	echo filename=%%~ni
	echo fileextension=%%~xi
)