javascript: fixed times-operator in names