/*
	Openstore P4.3.5.0, © 1999 - 2004 LEITBILD Media and their Licensors, www.openstore.de

	Both the license and your right to use the Software terminate automatically
	if you violate any part of the license agreement.

	DO NOT MODIFY, SELL, LEND, RENT, OR LEASE ANY PORTIONS OF THIS SOFTWARE.
*/

if (dohighlights == 1) allhighs = "", document.write("<script src=../data/highs.js language=JavaScript><\/script>")