document.write(': 7.15 EUR');