I’m having a tough time trying to decide between two survival knives. I’m considering the Ka-Bar original (1217) or short (1256). The short would be lighter and easier to handle and carry. It has a 5 1/4″ blade. The original would work better for chopping branches and beating/hammering because of the extra weight behind it. I carry a leatherman wave already. I will be basically using it for going out and playing survivor man. I love geocaching, hiking, camping and I’m getting more into survival skills just as a hobby. Which knife would you choose, 5 1/4″ lighter, or 7″ heavier? Please state your survival experience when answering.