if (navigator.appName == "Microsoft Internet Explorer") {
	msie=1;
} else {
	msie=0;
}

function ton(x) {
	
	if (msie==1) {
		
		y=x.replace(".ogg",".mp3");
		
		document.all.sound.src = y;

		
	} else {
		if (e=document.getElementById("ton")) {
			e.src=x;
			e.play();
		}
	}
}