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