// JavaScript Document
function versionSelect(from,to)
	{
			var url = location.href;
			var i = url.length-1;
			var newurl = new String("");
			switch(from)
			{
				case 1:
					if(to == 2 )
						newurl = "scn/";
					else if(to == 3)
						newurl = "tcn/";
					else
						newurl = null;
					break;
				case 2:
					if(to == 1)
						newurl = "../";
					else if(to == 3)
						newurl = "../tcn/";
					else
						newurl = null;
					break;
				case 3:
					if(to == 1)
						newurl = "../";
					else if(to == 2)
						newurl = "../scn/";
					else
						newurl = null;
					break;
			}
			//get current page
			url=url.split("/");
			url=url[url.length-1].split("?");
			newurl += url[0];
			location.href=newurl;
}