document.write('13.95');