Scala: sha1