#    nonsense to know the file size

if($ARGV[0]eq"-info"){
    $len=length($file);
    print $len."\n";
    exit 1;
}