var product = 'grml';
var arch = document.getElementById('download_arch').value;
var flavour = document.getElementById('download_flavour').value;
var product = 'grml';
var arch = document.getElementById('download_arch').value;
var flavour = document.getElementById('download_flavour').value;