document.write('13    .    12');