function reSetStatus() {
 document.getElementById("status").innerHTML='';
}
 
function SetStatus($str) {
 document.getElementById("status").innerHTML=$str;
 setTimeout("reSetStatus()",10000);
}


function GetPage($url, $dest) {
var req = new Request.HTML({
			 url:$url,
             method: 'get',  
			 evalScripts: true,
	onSuccess: function(html) {
			$($dest).set('html', '');
			$($dest).adopt(html);
		},
		onFailure: function() {
			$($dest).set('text', 'The request failed.');
		}
	});
req.send();
}