function VLDownloadRedirect()
{
	var destination = "/products/visual_lint/post_download.html";
	setTimeout("window.location='" + destination + "'", 3000);
	return true;
}

function LintProject_DownloadRedirect()
{
	var destination = "/products/lintproject/post_download.html";
	setTimeout("window.location='" + destination + "'", 3000);
	return true;
}

function ResOrg_DownloadRedirect()
{
	var destination = "/products/resorg/post_download.html";
	setTimeout("window.location='" + destination + "'", 3000);
	return true;
}