document.write(' 71218 ');