preprocessed javascript