女工人数占工人总数的80%,男工人数占女工人数的( )