// JavaScript Document

function loadpostcode(){
document.getElementById("mydatapost").innerHTML = dataframe.document.body.innerHTML
}


function makecode(bigcode)
{

bigcode=bigcode.replace(' ','')

if (bigcode.length>4)
 { document.search.postcodefield.value =(bigcode.substring(0,bigcode.length-3)) }
 else
 { document.search.postcodefield.value = bigcode }
}