function PlaySound(url) {
	document.all.sound.src = url;
}