address = location.href;
if (address.lastIndexOf("/")+1 == address.length) filename = "news";
else {
  filename = address.substring(address.lastIndexOf("/")+1,address.lastIndexOf("."));
  if (filename == "index") filename = "news";
}
document.getElementById("nav_"+filename).style.backgroundColor = "#39F";

/* Copyright © 2006-2010 CuteWorm.com. All rights reserved. */