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