<?php echo "DSH_OK_txt"; ?>