Probably the fastest script to detect browser version with PHP