static void javaSound_listMixers() {
	out("Available Mixers:");
	Mixer.Info[]	aInfos = AudioSystem.getMixerInfo();
	for (int i = 0; i < aInfos.length; i++)
		out(aInfos[i].getName());
	if (aInfos.length == 0)
		out("[No mixers available]");
}