function HL(name,path,over)
{
if(window.document.images) 
{
if (over)
window.document.images[name].src = path + name + "_over.png";
else
window.document.images[name].src = path + name + "_out.png";
}
}