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