#!/bin/sh time $@