document.write ("5.12
")