PHP code - 5 lines

Link:

PHP, pasted on May 14:

<?php
echo date("H:i:s");
echo "<br>";
date_default_timezone_set("Asia/Jakarta"); 
echo date("H:i:s");

Output:

1	07:02:15<br>14:02:15