document.write ("
5.12")