print $fh pack "N", length $file01;