function SendAnchorCGI(url)
{
	document.anchor.url.value = url;
	document.anchor.submit();
}