some js lint functions