Four new Oriental species of Ptecticus, with taxonomic andbiological notes on some other species (Diptera, Stratiomyidae)