// JavaScript Document
objects = document.getElementsByTagName("object");
for (var i = 0; i < objects.length; i++){
	if(objects[i].id !== 'menu'){
	    objects[i].outerHTML = objects[i].outerHTML;
	}
}