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