<?php
  exec("tclsh " . dirname(__FILE__) . "/HelloWorld.tcl > " . dirname(__FILE__) . "/HelloWorld.xxx");
  echo file_get_contents(dirname(__FILE__) . "/HelloWorld.xxx");
?>