The “javascript:” is a label. It’s supposed to be used to identify a loop so that you could then use “break javascript;” to break out of it, but is being misused here. It’s harmless, but probably not a good idea to add a label to a statement that isn’t a loop.