var plugin = "";

function find_plugin() {
	var i = 0;
	while(navigator.plugins[i]) {
		if(navigator.plugins[i].name.indexOf("QuickTime") >= 0)
			plugin = "qt";
		 i++;
	};
	if(plugin == "") plugin = "mp";
};

function random_loop() {
	find_plugin();
	var rand = Math.ceil(Math.random() * 3);
	window.player.location.href = "media/loop_mp3.php?track=loopintro" + rand + "&plugin=" + plugin;
};