document.write('7    .    41');