function SetURL()
{
	var text = document.URL;
	var x1 = text.lastIndexOf("::/");
	if( x1 != -1 )  x1 += 3;
	var x2 = text.lastIndexOf("/help/");
	if( x2 != -1 )  x2 += 6;
	var x3 = text.lastIndexOf("\\help\\");
	if( x3 != -1 )  x3 += 6;
	var src = "chm";  // from local emeditor.chm
	if( x1 < x2 ){
		x1 = x2;
		src = "web";  // from server web
	}
	if( x1 < x3 ){
		x1 = x3;
		src = "oth";  // from local web
	}
	if( x1 != -1 )  text = text.slice( x1 );
	document.anchors[0].href = "http://www.emeditor.com/help/feedback1.php?u="+(text)+"&s="+src+"&t="+(document.title);
}