已知直角三角形一直角边长为13,其余两边长都是自然数,求此三角形的斜边长