document.write('1.53');
document.write(' Euro / ');
document.write('17:35');
document.write(' / ');
document.write('XETRA');
document.write('<!--t11-done-->\n');