function rewrite(elementid)	{
	var elem = document.getElementById(elementid);
	document.write(elem.innerHTML);
	}