A staphylotoxin can be any of these toxins produced by Staphylococcus bacteria: