document.write('5.76');