PHP_HASH_HAVAL_REGISTER  858 hash/hash.c    	PHP_HASH_HAVAL_REGISTER(3,128);
PHP_HASH_HAVAL_REGISTER  859 hash/hash.c    	PHP_HASH_HAVAL_REGISTER(3,160);
PHP_HASH_HAVAL_REGISTER  860 hash/hash.c    	PHP_HASH_HAVAL_REGISTER(3,192);
PHP_HASH_HAVAL_REGISTER  861 hash/hash.c    	PHP_HASH_HAVAL_REGISTER(3,224);
PHP_HASH_HAVAL_REGISTER  862 hash/hash.c    	PHP_HASH_HAVAL_REGISTER(3,256);
PHP_HASH_HAVAL_REGISTER  864 hash/hash.c    	PHP_HASH_HAVAL_REGISTER(4,128);
PHP_HASH_HAVAL_REGISTER  865 hash/hash.c    	PHP_HASH_HAVAL_REGISTER(4,160);
PHP_HASH_HAVAL_REGISTER  866 hash/hash.c    	PHP_HASH_HAVAL_REGISTER(4,192);
PHP_HASH_HAVAL_REGISTER  867 hash/hash.c    	PHP_HASH_HAVAL_REGISTER(4,224);
PHP_HASH_HAVAL_REGISTER  868 hash/hash.c    	PHP_HASH_HAVAL_REGISTER(4,256);
PHP_HASH_HAVAL_REGISTER  870 hash/hash.c    	PHP_HASH_HAVAL_REGISTER(5,128);
PHP_HASH_HAVAL_REGISTER  871 hash/hash.c    	PHP_HASH_HAVAL_REGISTER(5,160);
PHP_HASH_HAVAL_REGISTER  872 hash/hash.c    	PHP_HASH_HAVAL_REGISTER(5,192);
PHP_HASH_HAVAL_REGISTER  873 hash/hash.c    	PHP_HASH_HAVAL_REGISTER(5,224);
PHP_HASH_HAVAL_REGISTER  874 hash/hash.c    	PHP_HASH_HAVAL_REGISTER(5,256);