function return_name()
{
var f="Varilux Spezialist";
return (f);
}