直角三角形有一条直角边长13,另两条边长都是整数,则其边长为( )