document.write(' 12142 ');