在直角三角形已知一个锐角是30度,高为40,请问另一直边长是多少?