document.write('ab_40: teufelchen
');