Do you mean just that it is very very likely that there is, or is there some argument that the MD5 function must be surjective?