string(4) "3.12"