document.write(' 78012 ');