一个直角三角形,高是80cm,其中一个角为35度,求斜边是多少?