document.write(' 6192 ');