@SHA512[filename] : Returns the SHA2-512 checksum of the specified file.
See also @SHA256, @SHA384, @MD5, and @CRC32.