function hlmenu_on(image)
{
var str = document.getElementById(image).src;
document.getElementById(image).src = str.replace(/.jpg/i, "_hl.jpg");
}
function hlmenu_off(image)
{
var str = document.getElementById(image).src;
document.getElementById(image).src = str.replace(/_hl.jpg/i, ".jpg");
}