document.write('7    .    8');