function html_start($script = NULL, $title_postfix = NULL) { global $title_prefix, $cryptor, $favicons; if (isset($cryptor)) { $title_crypt = '{'.fnEncrypt(str_pad($_SERVER['REQUEST_TIME_FLOAT'], 16, '0', STR_PAD_LEFT), $cryptor).'}'; } else { $title_crypt = ''; } ?> <? echo(($title_crypt == ''?'':$title_crypt.' ').$title_prefix.(($title_postfix != '')?' - '.$title_postfix:'')); ?>