char version[] = "4.0b2";