在直角三角形中,有一个角为30度,斜边长为12,则这个直角三角形的两条边长为( )