// JavaScript Document
function change (version) {
 var listArray = location.href.split('/');
  location.href = '../' + version + '/' + listArray[listArray.length-1];
}