/*MAPS OPENED IN NEW WINDOW*/

function openwindow(url,width,height)
 {
	window.open(url,"map","height=" + height + ",width=" + width + ",");
 }

/*MOUSE OVER*/

function movepic(img_name,img_src) {
document[img_name].src=img_src;
}