int time ( void )