<?php $ok = true; ?>