#!/usr/bin/env ruby



require 'cgi'
puts "<pre>"
def proper_escape fname
  fname.split('/').each{|s| CGI.escape s}.join('/')
end


until (STDIN.eof?)
  s = CGI.escapeHTML(STDIN.readline)
  m = s.match(/(.*?):(\d+):(\d+):/)
  fname, line, column = m[1..3] if m
  if m && File.exist?(fname)
#     puts line
    s.gsub!(/#{fname}:#{line}:#{column}/,"<a href='txmt://open?url=file://#{proper_escape fname}&line=#{line}&column=#{column.to_i+1}'>#{fname}:#{line}:#{column}</a>")
  end
  puts s
  STDOUT.flush
end

puts "</pre>"