document.write('12    .    32');