document.write('17    .    12');