#!/bin/tcsh

/usr/bin/reboot