直角三角形中,两条直角边长分别为13和5,则斜边中位线长多少 要有