Nie jesteś zalogowany.
Jeśli nie posiadasz konta, zarejestruj je już teraz! Pozwoli Ci ono w pełni korzystać z naszego serwisu. Spamerom dziękujemy!

Ogłoszenie

Prosimy o pomoc dla małej Julki — przekaż 1% podatku na Fundacji Dzieciom zdazyć z Pomocą.
Więcej informacji na dug.net.pl/pomagamy/.

#1  2010-07-27 21:58:18

  cyb - Użytkownik

cyb
Użytkownik
Zarejestrowany: 2010-07-27

apache2 dzialajacy z prawami uzytkownika?

teraz wlascicielem katalogu /var/www jest przykladowy user przykladowyuser1, ktorego dodalem do grupy www-data, i moze on wrzucac serwisy www

jak mozna zrobic w lenny, zeby apache (dziala teraz jako user www-data i grupa www-data) dzialal rowniez jako user przykaldowyuser1, tzn byl w stanie zapisywac do katalogu /var/www (i jego podkatalogow)?

Offline

 

#2  2010-07-27 22:05:45

  winnetou - złodziej wirków ]:->

winnetou
złodziej wirków ]:->
Skąd: Jasło/Rzeszów kiedyś Gdańs
Zarejestrowany: 2008-03-31
Serwis

Re: apache2 dzialajacy z prawami uzytkownika?

Najwygodniej zainteresuj się czymś takim co się nazywa suPHP tylko do tego proponuję własnoręczną kompilację Apache+PHP+suPHP. Na Debianie średnio mi się udało to skonfigurować poprawnie. Poza tym przy ręcznej kompilacji w/w softu możesz ustawić użytkownika/grupę per vhost.


LRU: #472938
[b]napisz do mnie:[/b] ola@mojmail.eu
[url=http://valhalla.org.pl]Hołmpejdż[/url] | [url=http://valhalla.org.pl/foto]Galerie[/url] | [url=http://valhalla.org.pl/tech]"Twórczość"[/url] || [url=http://img.munn.in]Free Image Hosting[/url]

Offline

 

#3  2010-07-27 22:12:18

  cyb - Użytkownik

cyb
Użytkownik
Zarejestrowany: 2010-07-27

Re: apache2 dzialajacy z prawami uzytkownika?

[quote=winnetou]Najwygodniej zainteresuj się czymś takim co się nazywa suPHP tylko do tego proponuję własnoręczną kompilację Apache+PHP+suPHP. Na Debianie średnio mi się udało to skonfigurować poprawnie. Poza tym przy ręcznej kompilacji w/w softu możesz ustawić użytkownika/grupę per vhost.[/quote]
nie chce sie bawic w reczne kompilacje.

do serwera via ftp i tak de facto ma dostep personel - po wprowadzeniu przez nich zmian wrzucaja zmienione pliki serwisow lub inne rzeczy na serwer via ftp i chodzi o to, zeby nie trzeba bylo logowac sie na konsole i zmieniac prawa/uzytkownikow do tego, co zrobia.
a czasem zrobia cos, co wymaga, zeby serwer mogl zapisywac sobie w jakims tam katalogu (np. pliki cache  czy inne takie)

Offline

 

#4  2010-07-28 00:29:13

  k4misiek - Green Reaper

k4misiek
Green Reaper
Skąd: Poznań
Zarejestrowany: 2006-11-11

Re: apache2 dzialajacy z prawami uzytkownika?

Najlepiej to zainteresuj się modułem userdir(public_html w ~/) i włącz obsługę php5(php5.conf, będziesz musiał coś zakomentować - czytaj komentarze w pliku) dla użytkownika.
Wszystko to zrobisz w /etc/apache2/mods-available i /etc/apache2/mods-enabled.
Drugi katalog informuje nas jaki moduł jest(czyt. powinien być) obecnie włączony. Tworząc(usuwając) symlinki z /etc/apache2/mods-available do /etc/apache2/mods-enabled możesz włączać(wyłączać) kolejne moduły.


You are registered as user [b]#464141[/b] with the Linux Counter

Offline

 

#5  2010-07-28 07:19:11

  ethanak - Użytkownik

ethanak
Użytkownik
Skąd: Ungwenor
Zarejestrowany: 2010-07-19
Serwis

Re: apache2 dzialajacy z prawami uzytkownika?

[quote=cyb]do serwera via ftp i tak de facto ma dostep personel - po wprowadzeniu przez nich zmian wrzucaja zmienione pliki serwisow lub inne rzeczy na serwer via ftp i chodzi o to, zeby nie trzeba bylo logowac sie na konsole i zmieniac prawa/uzytkownikow do tego, co zrobia.
a czasem zrobia cos, co wymaga, zeby serwer mogl zapisywac sobie w jakims tam katalogu (np. pliki cache  czy inne takie)[/quote]
Hm... masz serwer FTP który nie pozwala na zmianę uprawnień? Który to?


Nim mechaniczne larum zagrasz mi, kanalio,
głosząc nadejście Javy - śmiertelnego wroga!
[i]Zespół Adwokacki Dyskrecja[/i]

Offline

 

#6  2010-07-28 12:08:56

  cyb - Użytkownik

cyb
Użytkownik
Zarejestrowany: 2010-07-27

Re: apache2 dzialajacy z prawami uzytkownika?

[quote=ethanak]Hm... masz serwer FTP który nie pozwala na zmianę uprawnień? Który to?[/quote]
uprawnienia moze zmieniac, ale chyba nie zmieni wlasciciela plikow.

chodzi o to, zeby wszystko bylo proste, latwe i przyjemne i zeby nie bylo pomieszania, ze czesc plikow jest uzytkownika ftpowego, a czesc serwera www i ftpowiec nie moze ich np. skasowac.

poza tym o zmianie praw trzeba pamietac - a w ferworze walki jak wiadomo zapomina sie o szczegolach :)
dlatego zrobic od razu cos lepiej, zeby pozniej bylo latwiej i nie trzeba bylo pamietac o szczegolach :)

Offline

 

#7  2010-07-28 13:14:34

  ethanak - Użytkownik

ethanak
Użytkownik
Skąd: Ungwenor
Zarejestrowany: 2010-07-19
Serwis

Re: apache2 dzialajacy z prawami uzytkownika?

No to tylko suexec/suphp. Nie wiem jak na debianie, ale na centosie działa. Jedyny problem to taki że php działa jako cgi - ale to jest do przeżycia.


Nim mechaniczne larum zagrasz mi, kanalio,
głosząc nadejście Javy - śmiertelnego wroga!
[i]Zespół Adwokacki Dyskrecja[/i]

Offline

 

#8  2010-07-29 19:25:15

  cyb - Użytkownik

cyb
Użytkownik
Zarejestrowany: 2010-07-27

Re: apache2 dzialajacy z prawami uzytkownika?

tak z ciekawosci, zmiana w /etc/apache2/envvars
linii:
export APACHE_RUN_USER=www-data

na:
export APACHE_RUN_USER=userek1

powoduje ze procesy zaczynaja chodzic jako userek1.
ale czy taka podmiana jest bezpieczna z punktu widzenia bezpieczenstwa?

Offline

 

#9  2010-07-29 19:37:19

  winnetou - złodziej wirków ]:->

winnetou
złodziej wirków ]:->
Skąd: Jasło/Rzeszów kiedyś Gdańs
Zarejestrowany: 2008-03-31
Serwis

Re: apache2 dzialajacy z prawami uzytkownika?

[quote=cyb]tak z ciekawosci, zmiana w /etc/apache2/envvars
linii:
export APACHE_RUN_USER=www-data

na:
export APACHE_RUN_USER=userek1

powoduje ze procesy zaczynaja chodzic jako userek1.
ale czy taka podmiana jest bezpieczna z punktu widzenia bezpieczenstwa?[/quote]
Apache ma wtedy uprawnienia użytkownika  którego został uruchomiony - więc jak użytkownik może zrobić np:

Kod:

rm -rf /home

to i Apache to może zrobić. Bezepieczeństwo w takim wypadku zależy m.in od uprawnień jakie ma dany użytkownik w systemie, aczkolwiek nie tylko. Bezpieczeństwo to temat rzeka ;)


LRU: #472938
[b]napisz do mnie:[/b] ola@mojmail.eu
[url=http://valhalla.org.pl]Hołmpejdż[/url] | [url=http://valhalla.org.pl/foto]Galerie[/url] | [url=http://valhalla.org.pl/tech]"Twórczość"[/url] || [url=http://img.munn.in]Free Image Hosting[/url]

Offline

 

#10  2010-07-29 20:12:13

  cyb - Użytkownik

cyb
Użytkownik
Zarejestrowany: 2010-07-27

Re: apache2 dzialajacy z prawami uzytkownika?

[quote=winnetou]więc jak użytkownik może zrobić np:

Kod:

rm -rf /home

to i Apache to może zrobić. Bezepieczeństwo w takim wypadku zależy m.in od uprawnień jakie ma dany użytkownik w systemie, aczkolwiek nie tylko.[/quote]
nie pomyslalem o najoczywistszym - pierwsza mysl: "jak dorwie haslo usera to i tak moze nabroic", ale druga juz byla
"ale jesli dobierze sie do apache od d4 strony, to nie znajac hasla moze wszystko rozwalic".
dzieki za zwrocenie uwagi :)

Ostatnio edytowany przez cyb (2010-07-29 20:12:41)

Offline

 

#11  2010-07-29 20:28:16

  Jacekalex - Podobno człowiek...;)

Jacekalex
Podobno człowiek...;)
Skąd: /dev/urandom
Zarejestrowany: 2008-01-07

Re: apache2 dzialajacy z prawami uzytkownika?

Kod:

jak mozna zrobic w lenny, zeby apache (dziala teraz jako user www-data i grupa www-data) dzialal rowniez jako user przykaldowyuser1, tzn byl w stanie zapisywac do katalogu /var/www (i jego podkatalogow)?

bzdura.
Zwykły użytkownik -aby się zalogować, potrzebuje aktywnej powłoki shell (domyślnie bash, czasem zsh lub inna).
Taka powłoka pozwala na uruchamianie skryptów i jest potencjalnie niebezpieczna.
Natomiast apache działa na prawach użytkownika systemowego z domyślnie ustawioną powłoką /bin/false - która uniemożliwia użycie powłoki i znacząco obniża ryzyko działania exploita lub innego groźnego kodu.

A jak powloka fallse - to za malo, to zawsze sa jeszcze jaile/chrooty, apparmor/tomoyo/selinux/grsecurity, mod-security i mod-evasive, i suhosin do php.

Natomiast strona i skrypty php - elementy wykonywalne (skrypty), oraz foldery -uprawnienia 755, pliki - które nie wymagają atrybutu wykonania - 644.
Ważne -żeby właścicielem plików nie był apache lub grupa www-data, ale użyszkodnik.
Wtedy apache pokazuje - serwuje pliki, ale z poziomu usera systemowego www-data (apache) nie można zmienić ani jednego bita w plikach strony www.

A strony użytkowników najlepiej chodzą na hostach wirtualnych - pod adresem http://użyszkodnik.domena.com/

Można tez prościej: podlinkować folder [b]/home/użyszkodnik/publiczny[/b] do [b]/var/www/użyszkodnik[/b], i mamy stronę użyszkodnika pod adresem [b]http://domena.com/użyszkodnik/[/b]

To by było na tyle
;)

Ostatnio edytowany przez Jacekalex (2010-07-29 20:45:02)


W demokracji każdy naród ma taką władzę, na jaką zasługuje ;)
Si vis pacem  para bellum  ;)       |       Pozdrawiam :)

Offline

 

#12  2010-07-29 20:36:17

  Mider - Użytkownik

Mider
Użytkownik
Zarejestrowany: 2010-07-29

Re: apache2 dzialajacy z prawami uzytkownika?

Jak znam życie problem dotyczy php działającego jako moduł. Jeśli tak proponuję rozważyć użycie fastcgi.

Offline

 

#13  2010-07-29 21:28:10

  milyges - inż.

milyges
inż.
Skąd: Gorlice/Kraków
Zarejestrowany: 2006-04-09
Serwis

Re: apache2 dzialajacy z prawami uzytkownika?

[quote=Jacekalex]Zwykły użytkownik -aby się zalogować, potrzebuje aktywnej powłoki shell (domyślnie bash, czasem zsh lub inna).
Taka powłoka pozwala na uruchamianie skryptów i jest potencjalnie niebezpieczna.
Natomiast apache działa na prawach użytkownika systemowego z domyślnie ustawioną powłoką /bin/false - która uniemożliwia użycie powłoki i znacząco obniża ryzyko działania exploita lub innego groźnego kodu.[/quote]
Bzdura...

http://pl2.php.net/manual/en/function.popen.php
http://pl2.php.net/manual/en/function.exec.php

Jaki problem odpalić /bin/bash plik.sh?


[url=http://mhroczny.net][b]strona domowa[/b][/url] || [url=http://dug.net.pl][b]polski portal debiana[/b][/url]

Offline

 

#14  2010-07-30 00:52:18

  winnetou - złodziej wirków ]:->

winnetou
złodziej wirków ]:->
Skąd: Jasło/Rzeszów kiedyś Gdańs
Zarejestrowany: 2008-03-31
Serwis

Re: apache2 dzialajacy z prawami uzytkownika?

@Jacekalex
Jak już [b]Mino[/b] zauważył - bzdura. Wcale nie potrzebujesz powłoki żeby odpalić z poziomu PHP jakikolwiek skrypt. Przede wszystkim w php.ini należy zablokować funkcje typu exec(), shell_exec() czy system(). Nawet jak odpalisz apacza z użytkownikiem nobody:nogroup wgrywając PHP_Shell jesteś w stanie w systemie sporo nabroić ;] Do blacklistowanych opcji dodałbym jeszcze fopen, furlopen i kilka innych. Ponadto jak chcesz się zabezpieczyć np przed rozsyłaniem spamu to zablokował bym mail(). 

Z ciekawostek [url=http://niebezpiecznik.pl/post/ubuntu-root-w-3-poleceniach/]hasło roota w 3 poleceniach[/url]
Na szczęście w Debianie od Lennego nie działa ;)


Także proponuję poczytać na temat "niebezpiecznych funckji PHP oraz na temat zabezpieczeń ogólnie - grsec oraz suPHP/suEXEC to podstawa jeśli na poważnie podchodzisz do bezpieczeństwa serwera WWW i systemu w ogólności


LRU: #472938
[b]napisz do mnie:[/b] ola@mojmail.eu
[url=http://valhalla.org.pl]Hołmpejdż[/url] | [url=http://valhalla.org.pl/foto]Galerie[/url] | [url=http://valhalla.org.pl/tech]"Twórczość"[/url] || [url=http://img.munn.in]Free Image Hosting[/url]

Offline

 

#15  2010-10-12 09:52:42

  Jacekalex - Podobno człowiek...;)

Jacekalex
Podobno człowiek...;)
Skąd: /dev/urandom
Zarejestrowany: 2008-01-07

Re: apache2 dzialajacy z prawami uzytkownika?

[quote=milyges][quote=Jacekalex]Zwykły użytkownik -aby się zalogować, potrzebuje aktywnej powłoki shell (domyślnie bash, czasem zsh lub inna).
Taka powłoka pozwala na uruchamianie skryptów i jest potencjalnie niebezpieczna.
Natomiast apache działa na prawach użytkownika systemowego z domyślnie ustawioną powłoką /bin/false - która uniemożliwia użycie powłoki i znacząco obniża ryzyko działania exploita lub innego groźnego kodu.[/quote]
Bzdura...

http://pl2.php.net/manual/en/function.popen.php
http://pl2.php.net/manual/en/function.exec.php

Jaki problem odpalić /bin/bash plik.sh?[/quote]
Pisałem o Apachu, nie o php - konfiguracja php i wyłączenie potencjalnie niebezpiecznych funkcji,
to elementarz zabezpieczenia serwera, lecz pytanie było o apacha z działającego z uprawnieniami użytkownika.
A o ile się nie mylę, php nie jest integralną częścią Apacha.

To by było na tyle


W demokracji każdy naród ma taką władzę, na jaką zasługuje ;)
Si vis pacem  para bellum  ;)       |       Pozdrawiam :)

Offline

 

#16  2010-10-12 21:53:54

  hello_world - Członek DUG

hello_world
Członek DUG
Skąd: Rymanów Zdrój
Zarejestrowany: 2010-06-03
Serwis

Re: apache2 dzialajacy z prawami uzytkownika?

Kod:

Natomiast apache działa na prawach użytkownika systemowego z domyślnie ustawioną powłoką /bin/false - która uniemożliwia użycie powłoki i znacząco obniża ryzyko działania exploita lub innego groźnego kodu.

Bzdura

U mnie Apache domyślnie instalowany w debian lenny 5.0.6 ma powlokę /bin/sh

Mam pytanie.
Czy jak dodam usera systemowego do grupy www-data, katalog domowy ustawię na user.www-data (czyli właścicielem jest user a grupa www-data) oczywiście zmienie domyślnego publica z /var/www na /home/user to czy jest to złoty środek do pogodzenia ftp z serwowaniem stron www w tym samym katalogu?

Offline

 

#17  2010-10-12 22:55:43

  Jacekalex - Podobno człowiek...;)

Jacekalex
Podobno człowiek...;)
Skąd: /dev/urandom
Zarejestrowany: 2008-01-07

Re: apache2 dzialajacy z prawami uzytkownika?

O ile twój Apache dziala w internecie to radziłbym dać mu powłokę /bin/false i gruntownie zabezpieczyć wykonanie skryptów php i innych - działających po stronie serwera: perl, cgi, python, ruby.

Do tego pliki na serwerze - właściciel inny niż www-data, wyświetla i wykonuje skrytpy.
Pliki uprawnienia 644, skrypty i foldery 755, foldery cache i tmp (np joomli) uprawnienia 777.

Wtedy trochę podziała, aż ktoś go potraktuje atakiem slowloris, wtedy docenisz rewerse proxy.
http://forums.gentoo.org/viewtopic-t-834620-view-previous.html?sid=9439171ff259dcacf0ce5b99b53b5ab3

Pozdrawiam

Ostatnio edytowany przez Jacekalex (2010-10-12 22:55:53)


W demokracji każdy naród ma taką władzę, na jaką zasługuje ;)
Si vis pacem  para bellum  ;)       |       Pozdrawiam :)

Offline

 

#18  2010-10-13 00:24:52

  winnetou - złodziej wirków ]:->

winnetou
złodziej wirków ]:->
Skąd: Jasło/Rzeszów kiedyś Gdańs
Zarejestrowany: 2008-03-31
Serwis

Re: apache2 dzialajacy z prawami uzytkownika?

ja jednak będę się upierał przy suphp :P Wtedyt prawa na $HOME dla apacza wystarczą np 700 lub 711 co jeszcze bardziej ograniczy dostęp do np listowania katalogów (bez prawa read nie możliwe jest np wykonianie polecenia "ls"). Oczywiście poza zabezpieczeniem apacza pasuje zajać się php/ruby i innymi co mają działać na serwerku.


LRU: #472938
[b]napisz do mnie:[/b] ola@mojmail.eu
[url=http://valhalla.org.pl]Hołmpejdż[/url] | [url=http://valhalla.org.pl/foto]Galerie[/url] | [url=http://valhalla.org.pl/tech]"Twórczość"[/url] || [url=http://img.munn.in]Free Image Hosting[/url]

Offline

 

#19  2010-10-13 01:01:12

  Jacekalex - Podobno człowiek...;)

Jacekalex
Podobno człowiek...;)
Skąd: /dev/urandom
Zarejestrowany: 2008-01-07

Re: apache2 dzialajacy z prawami uzytkownika?

A ja nie rozumiem jednego w tym wątku:
Autor wątku - Cyb, ani jednym słowem nie wspomniał o php.
Natomiast milyges wyskoczył ze skryptami php, ty go poparłeś.

To, że do php warto wziąść np safe-mode, suhosin, i wyłączyć wszystkie nieużywane funkcje,
typu system i podobne, a do tego załadować apacha do chroota, albo przynajmniej ustawić mod-security (ma opcję chrootowania apacha) - to dla mnie jasne jak słońce.

Ale to, że apache nie zawsze służy do do php, ale czasem też jako serwer plików - sam miałem taki cyrk, jak pracowałem w reklamie - reklama na PC (Windows) - redakcja - iMaci, sieć wspólna - maci nie obvsługują samby, Windows nie widzi sieci appletalk - dupa blada. Corel na Windzie w redakcji, skład na macu w redakcji. Dupa blada - informatyk z centrali - musicie sobie jakoś radzić.
Sam instalowałem na na windows millenium serwer www i ftp - żeby normalnie przeciągać pliki na maca.
Bo jak ktoś przyniósł reklamę  w corelu, i trzeba ją było przerobić na EPS, to potem  - trzeba ją było wrzucić do grafików. (jak przyszedłem do roboty - taki plik puszczali mailem (czas dostarczenia - około 2 dni :))) - bo nagrywarki w reklamie nie było, a pendrivy w 2002 roku, to była przyszłość).

A była to reklama całkiem sporego dziennika.
W firmach często na apachu się umieszcza np firmowe spisy telefonów, regulaminy, ogłoszenia, a nawet jadłospisy.
I to w plikach html lub pdf - wytarganych z worda lub accesa.

I IMHO - o to właśnie pytał autor wątku.
jakby chodziło o php - to by napisał o php, prawda?

Ostatnio edytowany przez Jacekalex (2010-10-13 01:21:32)


W demokracji każdy naród ma taką władzę, na jaką zasługuje ;)
Si vis pacem  para bellum  ;)       |       Pozdrawiam :)

Offline

 

#20  2010-10-13 11:32:11

  hello_world - Członek DUG

hello_world
Członek DUG
Skąd: Rymanów Zdrój
Zarejestrowany: 2010-06-03
Serwis

Re: apache2 dzialajacy z prawami uzytkownika?

Suhosin jest domyślnie ładowany w lenny 5.0.6.
Ruby nie jest zainstalowany. Serwer tylko serwuje php
Dziwi mnie jeszcze jedna rzecz. Jeżeli debian stabilny jest dopracowywany pod względem stabilności i bezpieczeństwa bardzo skrupulatnie to po licho userowi www-data nadaje mu sie z automatu powłokę /bin/sh. Czy może mi ktoś ten problem wyjaśnić.
Przeszukałem plik php.ini i dla modułu i dla cli-php nie znajduję funkcji system(), exec (). Czy może mnie ktoś z szanownych forumowiczów nakierować?

Offline

 

Stopka forum

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson
To nie jest tylko forum, to nasza mała ojczyzna ;-)

[ Generated in 0.012 seconds, 12 queries executed ]

Informacje debugowania

Time (s) Query
0.00009 SET CHARSET latin2
0.00004 SET NAMES latin2
0.00133 SELECT u.*, g.*, o.logged FROM punbb_users AS u INNER JOIN punbb_groups AS g ON u.group_id=g.g_id LEFT JOIN punbb_online AS o ON o.ident='3.142.212.119' WHERE u.id=1
0.00072 REPLACE INTO punbb_online (user_id, ident, logged) VALUES(1, '3.142.212.119', 1732935542)
0.00054 SELECT * FROM punbb_online WHERE logged<1732935242
0.00066 DELETE FROM punbb_online WHERE ident='18.222.44.156'
0.00028 SELECT topic_id FROM punbb_posts WHERE id=152836
0.00198 SELECT id FROM punbb_posts WHERE topic_id=17297 ORDER BY posted
0.00083 SELECT t.subject, t.closed, t.num_replies, t.sticky, f.id AS forum_id, f.forum_name, f.moderators, fp.post_replies, 0 FROM punbb_topics AS t INNER JOIN punbb_forums AS f ON f.id=t.forum_id LEFT JOIN punbb_forum_perms AS fp ON (fp.forum_id=f.id AND fp.group_id=3) WHERE (fp.read_forum IS NULL OR fp.read_forum=1) AND t.id=17297 AND t.moved_to IS NULL
0.00005 SELECT search_for, replace_with FROM punbb_censoring
0.00119 SELECT u.email, u.title, u.url, u.location, u.use_avatar, u.signature, u.email_setting, u.num_posts, u.registered, u.admin_note, p.id, p.poster AS username, p.poster_id, p.poster_ip, p.poster_email, p.message, p.hide_smilies, p.posted, p.edited, p.edited_by, g.g_id, g.g_user_title, o.user_id AS is_online FROM punbb_posts AS p INNER JOIN punbb_users AS u ON u.id=p.poster_id INNER JOIN punbb_groups AS g ON g.g_id=u.group_id LEFT JOIN punbb_online AS o ON (o.user_id=u.id AND o.user_id!=1 AND o.idle=0) WHERE p.topic_id=17297 ORDER BY p.id LIMIT 0,25
0.00129 UPDATE punbb_topics SET num_views=num_views+1 WHERE id=17297
Total query time: 0.009 s