function maskMail(mail){var vor=mail;var at='@';var domain='ip-os.de';document.write('<a href="mailto:'+vor+at+domain+'">'+vor+at+domain+'</a>');}