document.write(' 94143 ');