public long get_field_as_milliseconds( String section, String field ) 
	throws NoSuchKeyException, NoSuchSectionException, BadFormatException {
	String s;
	long i;

	s = get_field( section, field );

	try {
		i = Long.parseLong( s );		
	}
	catch( Exception ex ) {

	try {
		StringTokenizer tok = new StringTokenizer( s, ":"  );

		// hours:minutes
		i = Long.parseLong( tok.nextToken() ) * (1000*60*60) + Long.parseLong( tok.nextToken() ) * (1000*60 );

		// seconds
		if( tok.hasMoreTokens() ) {
			i += Long.parseLong( tok.nextToken() ) * 1000;
		}

		// milliseconds
		if( tok.hasMoreTokens() ) {
			i += Long.parseLong( tok.nextToken() );
		}

	}
	catch (Exception e2) {
		throw new BadFormatException("Cannot parse integer: Section ["+section+"] Field ["+field+"] = ["+ s + "]"); 
	}
	}
	return i;

}