if (top.location != self.location) top.location = self.location
function fix() {
	myDiv = document.getElementById("userContentFP")
	if (myDiv != null) myDiv.style.padding = "2px"
	}