<?php

header( 'Location: http://www.cs.cmu.edu/~zkolter' ) ;

?>