int vga_version=0x1925;
static char versionstr[32]="1.9.25";