var url = new String(window.document.location);
var lastSlashPos = url.lastIndexOf("/");
var lastDotPos = url.lastIndexOf(".");
var index = url.substring(lastSlashPos+1, lastDotPos);
var i;
for(i=0; i < document.images.length; i++) {
	if(document.images[i].name == index) {
		document.images[i].src = "/images/menu_active.gif";
		break;
	}
}