document.write('14    .    11');