$str = "111222772019"; // строка из БД
list($unit, $employee, $serial, $year) = sscanf($str, "%3d%3d%2d%4d");
// 3 цифры, 3 цифры, 2 цифры, 4 цифры
printf("Unit: %d, man: %d, id: %d, year: %d<br/>", $unit, $employee, $serial, $year);
// Unit: 111, man: 222, id: 77, year: 2019
$url = str_replace('http://', 'https://', $url);
(подробности) или через preg_replace можете сделать (например, заменить все 'http://', 'https://' и 'ftp://' на "пустую строку", делается так же элементарно). import datetime
MY_UTC_EPOCH_START = 1262304000 # 00:00:00 01.01.2010 UTC
def my_utcfromtimestamp(ts):
return datetime.datetime.utcfromtimestamp(ts + MY_UTC_EPOCH_START)
datetime.datetime.utcfromtimestamp
, только лишь применяя поправку на начало вашей "UTC эпохи" (полночь 1 января 2010 по Гринвичу):>>> my_utcfromtimestamp(1)
datetime.datetime(2010, 1, 1, 0, 0, 1)
>>> my_utcfromtimestamp(123)
datetime.datetime(2010, 1, 1, 0, 2, 3)
>>> my_utcfromtimestamp(3600)
datetime.datetime(2010, 1, 1, 1, 0)
Побитовое исключающее ИЛИ (XOR) | a ^ b | Ставит 1 на бит результата, для которого только один из соответствующих битов операндов равен 1 (но не оба). |
div
, у которого есть аттрибуты style="height: ..."
, то JavaScript'ом правьте высоту или ширину на нужном элементе, не придется делать никаких Ajax'ов. А изначально можете рендерить карту со 100% шириной и высотой.