SWF_SOUND_11KHZ  6168 php_ext/ming.c 	CONSTANT("SWF_SOUND_11KHZ",             SWF_SOUND_11KHZ);
SWF_SOUND_11KHZ   213 src/blocks/mp3.c 			rate = SWF_SOUND_11KHZ; 
SWF_SOUND_11KHZ   234 src/blocks/mp3.c 	case SWF_SOUND_11KHZ:
SWF_SOUND_11KHZ    51 src/blocks/sound.h 		case SWF_SOUND_11KHZ: