--When you have a number that needs to be formatted with leading zeroes

DECLARE @idnumber INT= 80253;
SELECT @idnumber AS idnumberint,
       RIGHT('000000'+CAST(@idnumber AS VARCHAR), 6) AS idnumbervarchar;