document.write(' 6117 ');