function popup640(mylink, windowname)
{
if (!window.focus)return true;
var href;
if (typeof(mylink) == 'string')
   href=mylink;
else
   href=mylink.href;
window.open(href, windowname, 'width=680,height=530,scrollbars=yes');
return false;
}

function pagejump(to_url) {
	if (to_url != "") {
	window.location=to_url
	}
}