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