function change_page(index)
{
	//alert('ok');
	var re = /index.\.jsp/g;  
	var _href = window.location.href;
	window.location.href=_href.replace(re,"index"+index+".jsp");
}