#!/usr/bin/awk -f

func display_usec( time )
{
	printf( "%d.%06d", time / USEC_PER_SEC, time % USEC_PER_SEC )
}

BEGIN {
	USEC_PER_SEC=1000000
	c=getline < "/proc/uptime"
	c=$1
	c=c*USEC_PER_SEC
	o=ARGV[1]*USEC_PER_SEC
	e=c-o
	display_usec( c ) 
	if (o) {
		printf( " " )
		display_usec( e )
	}
	printf "\n"
	exit
}
