function download(f)
{
  location.href="/cgi-bin/dlmagic.php?url=" + f;
}