20130502: generate permunations of an integer