<?php if (defined("TITLE")) { print(TITLE); } else { print("l