window.onload=function(){
	function setPlace(){
		var where=['trunk','tags','branches'];
		var path=document.location.pathname.split('/');
		for(var i=0, l=where.length; i<l; i++){
			if(path[1]==where[i]){
				var place=path[1];
				break;
			}
		}
		if(!place) return;
		if(place!='trunk'){
			place=place+'/'+path[2];
		}else{
			place=place+' - rev '+MifRev;
		}
		var div=document.createElement('div');
		div.innerHTML=place;
		div.setAttribute('id','where');
		document.getElementById('header').appendChild(div);
	}
	setPlace();
}