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