# HTTP cookie file.
# Generated by Wget on 2013-12-30 10:42:52.
# Edit at your own risk.