document.write('37.5');