已知直角三角形两条直角边长分别为10和20，则斜边长为_____________。