
document.writeln(' $  9.56')
