#!/usr/local/bin/tclsh8.6
puts [string range 2801:84:0:250::32:8400" 0 13]