header("Content-type: text/vnd.wap.wml; charset=$encoding"); echo ''; print ''. '
hello
'; ?>