An Experiment on Nash Implementation