// This is called when the user changes the file category
function changeFileCategory()
{
	var c = document.getElementById('category').value;
	var v = document.getElementById('version');

	if(c == 1)
	{
		v.disabled = false;
	}
	else
	{
		v.value = '';
		v.disabled = true;
	}
}