use compressed javascript