Samsung GR LENS A12 - Manual (Page 22)

Settings
[Picture Quality/Size] Setting (Shooting Menu)
The following picture quality, image size and aspect ratio options are
available for the [Picture Quality/Size] setting in the shooting menu.
A photograph‘s file size will depend on the combination of picture quality
and image size used. When recording movies, you can select the movie size.