function SubmitForm(filename,mirror)
{
	document.forms.DOWNLOAD.FILENAME.value = filename;
	document.forms.DOWNLOAD.MIRROR.value = mirror;
	document.forms.DOWNLOAD.submit();
}

function Purchase(application)
{
	document.forms.PURCHASE.FILENAME.value = application;
	document.forms.PURCHASE.submit();
}