Write a Python function called string times that takes two parameters: a string and a number, and prints output in the following format: string times('Hi', 2) 'HiHi' string-times L'Hi', 3) 'Hill ' . You MUST use a while loop in your solution