> ? [some pm#documentation] [pm#graph1_on_WebKB-2 [km#WebKB-2, pm#part: the pm#documentation http://www.webkb.org/doc/w2doc.html] ](15/10/2000); //Search time: 8.6e-05 s, printing time: 0.0005 s (according to the Unix function gettimeofday())