// JavaScript Document

	function setSize(divHeightOth, divHeightMoz) {
		var browserName = navigator.appName;
		
		if(browserName == 'Microsoft Internet Explorer') {
			document.getElementById("container").style.height = divHeightOth;
			scroll(0,0);
		} else {
			document.getElementById("container").style.height = divHeightMoz;
			scroll(0,0)
		}
		
		//alert(divHeightOth + " > " + divHeightMoz);
	}
	
	
	theObjects = document.getElementsByTagName("object"); 
	for (var i = 0; i < theObjects.length; i++) { 
	theObjects[i].outerHTML = theObjects[i].outerHTML; 
	}