<?php timerStop();