Sergei knew about the potential for a problem with crc32 so they went with crcgoogol instead. Clearly the 1 in 10^42 eventuality happened, improbable as it seemed.