Ants of Formosa and the Philippines.