Do you put mustard or ketchup on hot dogs? Something else?