What is the length of the UK's coastline?

According to Ordnance Survey the coastline of the mainland of Great Britain is 11,072.76, of course for the UK (of GB and NI) you would need to add Northern Ireland's Coastline to get the complete total.

http:/www.ordnancesurvey.co.uk/oswebsite/freefun/didyouknow