// JavaScript Document
function open_map(src, no)
{
	document.getElementById("map-frame").src = src;
	document.getElementById("map-lk-zoom").href = src;
	var map_lks = new Array();
	var map_lks = getElementsByRegExpId("map-lk-", "a");
	for (i=0;i<map_lks.length;i++)
	{
		map_lks[i].className = "lk-4 map-lk";
	}
	document.getElementById("map-lk-" + no).className = "lk-4 map-lk lk-4-selected";
}