var execution_time = 0.1132979393;