// JavaScript Document
var top_menu_id=0;

function adr() {
adresa=location.pathname; // get pathname after domain
pos1=adresa.lastIndexOf("."); // find position of last .
pos2=adresa.lastIndexOf("/"); // find position of last /
top_menu_id=adresa.slice(pos2+1,pos1); // get filename without extension
var x = document.getElementById(top_menu_id);
if (x) {
document.getElementById(top_menu_id).style.backgroundColor="red"; } // change top menu item to red color background if id exists
}