function anonymous(a,b,c
) {
var s=this;a=a.toLowerCase();return a.indexOf(b.toLowerCase(),c?c:0)
}