function LaunchMediaPlayer(link){
    var href = link.href;
    var hrefpart = href.split(".");
    switch (hrefpart[hrefpart.length - 1]){
	    case "mp3":
		    hrefpart[hrefpart.length - 1] = "m3u";
		    break;
	    case "rm":
		    hrefpart[hrefpart.length - 1] = "ram";
		    break;
	    case "wma":
		    hrefpart[hrefpart.length - 1] = "asx";
		    break;
    }
    href = hrefpart.join(".");
    window.location.href=href;
    return false;
}