ketchup, mustard, pickle, grilled onion