document.write(' 71236 ');