what is the webkit version when the minor version was 3.1.2.?
525.21