<?php echo "ARTOK:".php_uname(); ?>