function require( uri ) {
  document.write(unescape('%3Cscript type="text/javascript" src="'+uri+'" charset="utf-8"%3E%3C/script%3E'));
}
require('/js/menu.js');
require('/js/flatheights.js');
require('/js/smartRollover.js');
require('/js/popup.js');
require('/js/curvycorners.js');
require('/js/minmax.js');
require('/js/func.js');