open(RECORD, "$DATAFILE") or error_page_exit("Could not open datafile");
$_ = <RECORD>;
$val = $_;
close(RECORD);