function onload1() {
    try{
var lies = document.getElementById("area").getElementsByTagName("li");
for (var i=0; i< lies.length; i++) {
lies[i].onmouseover= function() {
this.className="lion";
}
lies[i].onmouseout= function() {
this.className="";
}
}
}
catch(e){}
}
function modify() 
   { 
    document.form1.action="Search.aspx"; 
    document.form1.submit(); 
    }



function play(url) 
{

    document.all.sound.src = url;
}