#!/bin/sh

awk '/^[0-9]/{ print $4,$5; }' < sh.php.html > 20.out_gauss

