Here is the sha512sum of his sha1sum:
efd2fe6c5defd19d396a8504fd4a300de88dbd4ae64f934464da34644b03fb4c805a76fd208b417c837c0f4861f3fe0999e99fc085d48a86cfd3d4317ec48993
Here is the sha512sum of his sha1sum:
efd2fe6c5defd19d396a8504fd4a300de88dbd4ae64f934464da34644b03fb4c805a76fd208b417c837c0f4861f3fe0999e99fc085d48a86cfd3d4317ec48993