var filename =location.pathname.substring(location.pathname.lastIndexOf('/')+1,location.pathname.lastIndexOf('.')); 
//alert(filename);
document.write('<style type="text/css" media="screen"><!--#subnav_'+filename+' { color: #FFF; font-size: larger; background-color: #517a9f; padding-left: 10px; }--></style>');