function load()
{


var file = document.location.href;
var slash = file.lastIndexOf("/");
var dot = file.lastIndexOf(".");

if(file.indexOf("about") > -1 || file.indexOf("experience") > -1 || file.indexOf("quality") > -1)
    file = "about";
else if(file.indexOf("solutions") > -1 || file.indexOf("system") > -1 || file.indexOf("functional_test") > -1)
    file = "solutions";
else if(file.indexOf("services") > -1)
    file = "services";
else if(file.indexOf("partners") > -1)
    file = "partners";
else if(file.indexOf("contact") > -1)
    file = "contact";
else
    file = "home";


document.getElementById(file).className += "selected";

}