// JavaScript Document
function changeURL() {
	var fullPath = document.URL;
	
	if (fullPath.substring(0,4) == "file")
		// for local IE
		var fileName = fullPath.substring(fullPath.lastIndexOf("\\")+1,fullPath.length);	
		
	else		
		// for web and local firefox
		var fileName = fullPath.substring(fullPath.lastIndexOf("/")+1,fullPath.length);
	
	// for local IE
	//var fileName = fullPath.substring(fullPath.lastIndexOf("\\")+1,fullPath.length);	

	if (document.getElementById("engv") != null)
		document.getElementById("engv").href = "../eng/" + fileName;
		
	if (document.getElementById("chTv") != null)
		document.getElementById("chTv").href = "../chT/" + fileName;
		//document.getElementById("chTv").href = "../chT/" + fileName;	
}