// 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);	

	document.getElementById("engv").href = "../eng/" + fileName;
	document.getElementById("chTv").href = "../chT/" + fileName;
	document.getElementById("chSv").href = "../chS/" + fileName; 
}