function homeLoad()
{ 
if($('cue')){changetext();};
if($('imei')){makeInputFilterImei($('imei'));};
//changeTab();
}

addLoadEvent(homeLoad);

function submitStolen(form)
{
//var form = $('stolen_form');
if(checkStolen(form))
{ form.submit(); };return false;}

function checkStolen (form) {
var imeiregex = /^\d{15}$/;
if (form.imei.value=='' || !imeiregex.test(form.imei.value)) {
alert ( 'Een IMEI-nummer bestaat uit 15 cijfers.' );
form.imei.focus();
return false;
}
return true;
}
var selTab = 1;
function showTab(num)
{
$('tab_'+selTab).className='';
$('tab_content_'+selTab).style.display='none';
selTab = num;
$('tab_'+selTab).className='sel';
$('tab_content_'+selTab).style.display='inline';
}