What Format Are Registry Files In