

function check_version(id)
{
	/*var win = document.getElementById("win_ver"+id);
	var mac = document.getElementById("mac_ver"+id);
	
	if(win)
	 var win_ver = win.checked;
	if(mac) 
	 var mac_ver = mac.checked;
	
	if(win_ver || mac_ver)
	 return true;
	 
	alert("Please choose the platform");	
	*/
	return true;
}