window.BASE_HREF = document.getElementsByTagName("base")[0].href;
window.ARGS = decodeURI(location.href).replace(new RegExp(BASE_HREF + "/?"), "").split("/");
window.CONTROLLER = ARGS.shift();
window.ACTION = ARGS.shift();