if (navigator.appName == "Microsoft Internet Explorer")
	{
	document.write('<style type="text/css">');
	document.write('#demo_ie {height:200px;');
	document.write('</style>');
	}