/* portal controller, to be included in topmost frameset */

/* global objects */
var controller = new PortalController();

/* object PortalController */
function PortalController() {
	
}