直角三角形的三条边的长度是正整数,其中一条直角边的长度是13,那么它的周长为?