The text 317905587707, as Debian 7 (Wheezy) shipped it.
MultiMediaCard and SD Card bus driver
mmc(4freebsd) on Linux now
