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