/*
 * JavaScript Library v1.5
 * http://en.wikipedia.org/wiki/JavaScript
 *
 * Copyright 2009 Wikimedia Foundation, Inc.
 * Dual licensed under the MIT and GPL licenses.
 *
 * Date: 2009-09-20 11:13:18 -0800
 * Revision: 6426
 */