// JavaScript Document
function set_text(div_name)
{
	document.getElementById('main_text').innerHTML=document.getElementById(div_name).innerHTML;
}

function swapConfigXML(namexml) {
window.document.world_usa_map.SetVariable("swapxml", namexml);
}