// http://www.browser-update.org/
	var $buoop = {} 
	$buoop.ol = window.onload; 
	window.onload=function() { 
		if ($buoop.ol) $buoop.ol(); 
		var e = document.createElement("script"); 
		e.setAttribute("type", "text/javascript"); 
		e.setAttribute("src", "http://browser-update.org/update.js"); 
		document.body.appendChild(e); 
	}