var links = nav.getElementsByTagName("a");
for (var i = 0; i < links.length; i++) {
if ( links[i].href == document.location.href ) 
{ links[i].className = "opcion"; } }