var prelayer;
prelayer='Japanese';

function change_layer(layer_name)
{
	document.getElementById(prelayer).style.display = "none";
	document.getElementById(layer_name).style.display = "inline";
	prelayer=layer_name;
	return
}