document.write('12.40');