Sat, 14 May 2005 17:40:45 +0000 deba Six-coloring in plan graphs.