function CoreFileExtension() {
}