如何为DOS批处理%time%小时的值小于10的时候如何在这个值前加0？

@echo off
set /p IP=请输入要测ping的主机或域名：
echo %date:~0,4%/%date:~5,2%/%date:~8,2% %time:~0,8% > %IP%.txt
start ping %IP% -t >nul&&ping %IP% -t >> %IP%.txt

如果我运行的时间为2015/5/25 05:22
那么输出的指是2015/05/25 5:22
我希望的是2015/05/25 05:22
如何修改？

if "%time:~0,2%" lss "10" (set hh=0%time:~1,1%) else (set hh=%time:~0,2%)
echo %hh%:%time:~3,2%