annotations for javascript