document.write('17    .    57');