[The synthetic typing and its clinical application in atlantoaxial dislocation].