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