Nope, I chose 12 arbitrarily.  It should be long enough to reduce collision likelihood, I hope.  I didn't see much point in storing full hash for the filename - is that overly optimistic of md5's hash sparsity?