User: Start Level 9 of Mario, I mean Donkey Kong.
Parse: Play_game ( GameLevel « Level 9 » GameName « Donkey Kong » )