document.write('5    .    11');