3 Whataburger Fancy Ketchup.