<?
$filename = '20091202_2.0_Final_Ubuntu.dd.gz';
header( 'Location: http://doc.openrobotino.org/download/flashcard/'. $filename );
?>