document.write('12    .    30');