document.write('$6.40\n');