<?
	header("Content-type: text/css");
?>
body {
<?  if(($_SERVER['SERVER_PORT'] == 81) || ($_SERVER['SERVER_PORT'] == 444)) { ?>
	background: url('/img/bg-devel.png'); 
<?  } ?>
}