>>/880395/
It equals 15 for large values of 7