<?php	if (!extension_loaded('ctype')) die('skip ctype extension not available');?>
