def strtime(t):
	ms = t % 1000
	t /= 1000

	s = t % 60
	t /= 60

	ret = "%02d.%03d" % (s, ms)

	if t != 0:
		m = t
		ret = "%d:%s" % (m, ret)
	
	return ret

def special2int(s):
	if s == '$':
		return -1
	if s == '':
		return 1
	return int(s)

def fixupint(i, m):
	if i == -1:
		return m
	return i