var arch = document.getElementById('download_arch').value;
var flavour = document.getElementById('download_flavour').value;
if (arch == 'amd64') product = 'grml64';
if (arch == 'i386') product = 'grml32';
var arch = document.getElementById('download_arch').value;
var flavour = document.getElementById('download_flavour').value;
if (arch == 'amd64') product = 'grml64';
if (arch == 'i386') product = 'grml32';