whc4