var oPostcode;


function extras()
{
	if(document.getElementById("txtPostcode"))
	{
		oPostcode = document.getElementById("txtPostcode");
		if(is_ie)
		{
			oPostcode.onkeyup=  capitalize;
		}
		else
		{
			oPostcode.onkeypress =  capitalize;
		}
	}
	return true;
}



function capitalize()
{ 
	var sValue = oPostcode.value;
	oPostcode.value = sValue==null?null:sValue.toUpperCase();
}