To get ketchup out of clothes, you have to run them through cold water. Then when you wash put the detergent on the ketchup. Failing that chuck them in the bin, stuff like underwear often get lost between the inner and outer drums of washing machines, just blag it.