// JavaScript Document

function changeimg(country)
{
	document.dest.src = "/images/" + country + ".gif";

}
function changeimgback()
{
	document.dest.src = "/images/destinations.gif"

}