<!--
function changelang(toLang)
{
   var targetURL = top.location.pathname;
   var para = top.location.search;

//   if (top.location.pathname.indexOf("/result/") != -1)
//	{
//		targetURL = top.location.pathname.replace(/\/result\//,"/search/");
//	}
//	else if (top.location.pathname.indexOf("\\result\\") != -1)
//	{
//		targetURL = top.location.pathname.replace(/\\result\\/,"\\search\\");
//	}

   if (toLang=="b5")
   {
		if (targetURL.indexOf("/eng/") != -1)
		{
			targetURL = targetURL.replace(/\/eng\//,"/b5/");
		}
		else if (targetURL.indexOf("\\eng\\") != -1)
		{
			targetURL = targetURL.replace(/\\eng\\/,"\\b5\\");
		}
		if (targetURL.indexOf("/gb/") != -1)
		{
			targetURL = targetURL.replace(/\/gb\//,"/b5/");
		}
		else if (targetURL.indexOf("\\gb\\") != -1)
		{
			targetURL = targetURL.replace(/\\gb\\/,"\\b5\\");
		}
   }

   else if (toLang=="gb")
   {
		if (targetURL.indexOf("/b5/") != -1)
		{
			targetURL = targetURL.replace(/\/b5\//,"/gb/");
		}
		else if (targetURL.indexOf("\\b5\\") != -1)
		{
			targetURL = targetURL.replace(/\\b5\\/,"\\gb\\");
		}
		if (targetURL.indexOf("/eng/") != -1)
		{
			targetURL = targetURL.replace(/\/eng\//,"/gb/");
		}
		else if (targetURL.indexOf("\\eng\\") != -1)
		{
			targetURL = targetURL.replace(/\\eng\\/,"\\gb\\");
		}
	}

   else if (toLang=="eng")
   {
		if (targetURL.indexOf("/b5/") != -1)
		{
			targetURL = targetURL.replace(/\/b5\//,"/eng/");
		}
		else if (targetURL.indexOf("\\b5\\") != -1)
		{
			targetURL = targetURL.replace(/\\b5\\/,"\\eng\\");
		}

		if (targetURL.indexOf("/gb/") != -1)
		{
			targetURL = targetURL.replace(/\/gb\//,"/eng/");
		}
		else if (targetURL.indexOf("\\gb\\") != -1)
		{
			targetURL = targetURL.replace(/\\gb\\/,"\\eng\\");
		}
   }

   top.location = targetURL + para;
}


function change_font(fontsize){
   var targetURL = top.location.pathname + "?fontsize=" + fontsize;
   top.location = targetURL; 
}

function change_font_result(fontsize, curpos, recordCount, totalCount, page, pagesize){
   var targetURL = top.location.pathname + "?fontsize=" + fontsize + "&curpos=" + curpos + "&recordCount=" + recordCount + "&totalCount=" + totalCount + "&page=" + page + "&pagesize=" + pagesize;
   top.location = targetURL; 
}

function change_font_search(fontsize, act){
   var targetURL = top.location.pathname + "?fontsize=" + fontsize + "&act=" + act;
   top.location = targetURL; 
}

function change_font_resultlist(fontsize, page, pagesize){
   var targetURL = top.location.pathname + "?fontsize=" + fontsize + "&page=" + page + "&pagesize=" + pagesize;
   top.location = targetURL; 
}

//-->