直角三角形において、短い辺が5、斜辺が12の場合、長い辺の長さは？