function redir(menu)
{
 ref=menu.lang.options[menu.lang.selectedIndex].value;
 tmp = "/library/index.shtml?view=lang&name="+ref+"#top";
 document.location.href=tmp;
}