function go_back(){
	window.history.go(-1);
}
function go_forward(){
	window.history.go(+1);
}