Compressed using jscompress.com