<?php echo "$doctitle"; ?>