document.write(' 12043 ');