open(OUT,">>$sql_file");
  print OUT localtime().' ^ '.$pid.' ^ '.$_[0]."\n";
  close(OUT);