#!/bin/bash
if [ -r "$HOME/.bash_profile" ]
then
	. "$HOME/.bash_profile"
fi