// This file is generated by nf_history.pl
// It is used by index.html to show stats on latest flag
var flag_title = "";
var flag_comment = "";
var flag_date = "091120-095810";