// empty file which is loaded instead of AJAX JSes