I deleted some unimportant stuff...