function change(imgname)
{
	imgname = "../media/"+imgname+".gif";
	top.frames["nav"].document.images["dynamic"].src=imgname;
}

function jumpto(loc)
{
	self.location=loc;
}
