Exploring JavaScript compression