public void Execute()
 {
     mario.Down();
 }