. . . . "280"^^ . . . "380097"^^ . "Quine"@cs . . . "4"^^ . . . . "13118910"^^ .