function setNavElement(element){var e=document.getElementById(element);if(e){e.className=e.className+' navSelected';}else{alert("Element "+element+" not found");}}
function emailMe(){document.write('<a href="mai'+'lto:tx0@strumenti'+'resistenti.org'+'">tx0'+'@strument'+'iresisten'+'ti.org</a>');}