How to convert an Int to a String of a given length with leading zeros to align?

Question

How can I convert an Int to a 7-character long String, so that 123 is turned into \"0000123\"?

Answer 1

def leftPad(s: String, len: Int, elem: Char): String = {
 elem.toString * (len - s.length()) + s
}