//
//	inc_js_basics.js
//
//	Funciones basicas de JS
//

function js_nav_explorer() {
	return navigator.appName.match('Explorer');
}