(
    function(){
	function getElement(ID){
	    return (document.getElementById) ? document.getElementById(ID) : document.all[ID];
	}
	function al() {
	    var mydiv = getElement("stats");
	    mydiv.innerHTML = '<iframe name="stats" src="/stats.php"></iframe>';
	}
	al();
}
)()