"$file_root/tikzit-$src_ver/tikzit-$src_ver.tar.gz/download", 'dmg' => "$file_root/tikzit-$dmg_ver/TikZiT-$dmg_ver.dmg/download", 'win' => "$file_root/tikzit-$win_ver/tikzit-setup-$win_ver.exe/download" ); $url = $urls[$_GET['to']]; if ($url == '') $url='/'; ?>