Write a Python script that will use an already defined function called "FlashPins" to blink a list of GPIO pins for a given number of times depending on user inputs. To be noticed that "FlashPins" takes two arguments "pin_list", and "count", where "pin_list" represents a list of GPIO pins to be blinked, and "count" determins the number of times the pins must be blinked. ("Enter your choice between 1 and 4") count = ("How many times to blink?:") choice = choice == 1: "You chose to blink pin 15" = [15] (pin_list choice == 2: "You chose to blink pins 7 and 9" (pin list choice == 3: "You chose to blink pin 10" = [10] (pin_list choice ==4 "You chose to blink pins 11 and 12" (pin_list else: print "option not available" [7.9] count FlashPins elif [11, 12] print [10] if pin_list input