var number_versions = 4;

var version_name = new Array(number_versions);
var version_directory = new Array(number_versions);
var version_flag_name = new Array(number_versions);

version_name[0] = "Deutsch";
version_directory[0] = "de";
version_flag_name[0] = "germany.gif";
version_name[1] = "English";
version_directory[1] = "en";
version_flag_name[1] = "united_kingdom.gif";
version_name[2] = "Czech";
version_directory[2] = "cz";
version_flag_name[2] = "czech.gif";
version_name[3] = "Espanol";
version_directory[3] = "es";
version_flag_name[3] = "spain.gif";