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