function hl_menu(page,hn){
   var iname = 'img_'+page;
   var timg = document.getElementById(iname);
	timg.src='images/menu_'+l+'_'+page+'_'+hn+'.gif';
}