document.write('6    .    13');