A recipe for guacamole uses 12% of lime juice. If a batch contains 0.75 cup of lime juice, how large is the batch of guacamole?