var execution_time = 0.1946518421;