<?php include($_SERVER["DOCUMENT_ROOT"]."/before_load.php"); ?><?php include($_SERVER["DOCUMENT_ROOT"]."/no_arxiv.php") ?>