string String.strmult(string str, int num)
This function multiplies str by num. The return value is the same as appending str to an empty string num times.
This function is obsolete, since this functionality has been incorporated into `*.
`*
String.soundex()