function title2anchor(title){

document.getElementById(title).href = "/#"+title.toLowerCase().split(' ').join('-');
return

}