#!/bin/bash

curl -k -vvI -m 10 http://"$1" &> 80Header.txt