function window_open(url, width, height)
{
	window.open(url, '_blank', 'toolbar=no,location=no,status=yes,menubar=no,personalbar=no,scrollbars=yes,width=' + width + ',height=' + height + ',resizable=yes,screenx=200,left=200,screenY=50,top=50')
}

function img_over(i)
{ 
	if (document.images)
	{
		var img_over = eval("nav" + i + "over.src");
		document.images["nav" + i].src = img_over;
	}
}

function img_out(i)
{
	if (document.images)
	{
		var img_out = eval("nav" + i + "out.src");
		document.images["nav" + i].src = img_out;
	}
}