URL = window.location.href; 
indexhtml = (URL.indexOf('index.') > -1); 
abouthtml = (URL.indexOf('about.') > -1); 
serviceshtml = (URL.indexOf('services.') > -1); 
processeshtml = (URL.indexOf('processes.') > -1); 
contacthtml = (URL.indexOf('contact.') > -1); 


window.onload = function navigations(){ 
if (indexhtml) { 
var x=document.getElementById("home"); 
x.className = 'highlight_class'; 
} 

else if (abouthtml){ 
var x=document.getElementById("about"); 
x.className = 'highlight_class'; 
} 

else if (serviceshtml){ 
var x=document.getElementById("services"); 
x.className = 'highlight_class'; 
} 

else if (processeshtml){ 
var x=document.getElementById("processes"); 
x.className = 'highlight_class';  
} 

else if (contacthtml){ 
var x=document.getElementById("contact"); 
x.className = 'highlight_class';  
} 



}