if($_GET["page"] == 12) { echo "
";} ?>
if($_GET["page"] == 16) {include("callPapers_en.php");} ?>
if($_GET["page"] == 162) {include("callPapers_pt.php");} ?>
if($_GET["page"] == 163) {include("callPapers_es.php");} ?>
if($_GET["page"] == 17) { include("callTools.php");} ?>