document.write('94.3');