#!/bin/tcsh -f platform |& tee ${HOME}/LOG/platform.log